diff options
| author | Loïc Hoguin <[email protected]> | 2025-10-22 13:47:02 +0200 |
|---|---|---|
| committer | Loïc Hoguin <[email protected]> | 2025-10-22 13:47:02 +0200 |
| commit | be2d0a4b6cdb855c2f0f2519153b844925cda07c (patch) | |
| tree | 65975b4e270fcb9fd5e71efa6477e903414a9830 | |
| parent | d4d0ac28f36a1d8195dd6e0b55cc8290d6785d9f (diff) | |
| download | ci.erlang.mk-master.tar.gz ci.erlang.mk-master.tar.bz2 ci.erlang.mk-master.zip | |
| -rwxr-xr-x | update.sh | 30 |
1 files changed, 0 insertions, 30 deletions
diff --git a/update.sh b/update.sh deleted file mode 100755 index 9138a8e..0000000 --- a/update.sh +++ /dev/null @@ -1,30 +0,0 @@ -#!/bin/sh - -if [ -z "$1" ] -then - echo "Missing argument" 1>&2 - exit 1 -fi - -NEW=$1 -VAR=`echo $NEW | sed "s/^\([^.]*\).*/\1/"` -OLD=`grep -o "^$VAR := .*$" -- early-plugins.mk | sed 's/.* \([a-zA-Z0-9.-]*$\)$/\1/'` - -echo Variable: $VAR -echo Old version: $OLD -echo New version: $NEW - -sed "s/\(^$VAR :=.*\) [a-zA-Z0-9.-]*$/\1 $NEW/" -- early-plugins.mk > early-plugins.1.tmp -sed "/^$VAR-DROPPED := .*\\\\$/ { : again; /\\\\$/ { N; b again }; s/$/ $OLD/ }" -- early-plugins.1.tmp > early-plugins.2.tmp - -rm early-plugins.1.tmp -mv early-plugins.2.tmp early-plugins.mk -wget https://erlang.org/download/$NEW.README -O release-notes/$NEW.README.txt - -git add early-plugins.mk release-notes/$NEW.README.txt -git diff --cached -echo Press Enter to commit and push, Ctrl+C to abort, Ctrl+Z to pause -read - -git commit -m "$NEW" -git push upstream master |