diff options
author | Chris Lamb <lamby@debian.org> | 2018-06-26 18:01:40 +0100 |
---|---|---|
committer | Chris Lamb <lamby@debian.org> | 2018-06-26 18:01:40 +0100 |
commit | e85505ef3c00869b894485f2053b9dde593ab519 (patch) | |
tree | 6e9aa81d7b53cc9aabf179ff720923531e32d5e8 /bin/gen-DSA | |
parent | c757aef206b5be9fd8e45e7eee196c24359fba45 (diff) |
bin/gen-DSA: Support ELA for pushing to the repository.
Diffstat (limited to 'bin/gen-DSA')
-rwxr-xr-x | bin/gen-DSA | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/gen-DSA b/bin/gen-DSA index f2ba43e82b..f0ef9b0fc7 100755 --- a/bin/gen-DSA +++ b/bin/gen-DSA @@ -389,13 +389,13 @@ EOF sed -rn '/^'"$PACKAGE"'\b/{: next;n;/^\s/b next;d};p' $needed_file > $needed_file.new mv $needed_file.new $needed_file echo "$IDMODE text written to ./$IDMODE-$DAID" - if [ "$IDMODE" = "DLA" ]; then + if [ "$IDMODE" = "DLA" ] || [ "$IDMODE" = "ELA" ]; then idmode=$(echo "$IDMODE" | tr A-Z a-z) if [ -d .git ]; then echo "Made the following changes:" git diff -- data/$IDMODE/list data/$idmode-needed.txt fi - warn "you need to commit and push the changes to data/$IDMODE/list and data/$idmode-needed.txt to actually reserve the $IDMODE-$DAID number and avoid conflicts with others." + warn "you need to commit and push the changes to data/$IDMODE/list etc. to actually reserve the $IDMODE-$DAID number and avoid conflicts with others." if [ -d .git ]; then echo -n "Do you want to commit and push them now ? [Yn] " read reply |