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 | 5d0b5f1be1f46d9a4fda5e2961fe10b0d2b728de (patch) | |
tree | e2eb84a4bd157301bbedb510be98e85a962feb37 /bin/gen-DSA | |
parent | 69c8c4f62f6276ff37980f07661130a9d2e2d97f (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 |