diff options
author | Chris Lamb <lamby@debian.org> | 2018-08-20 10:05:11 +0100 |
---|---|---|
committer | Chris Lamb <lamby@debian.org> | 2018-08-20 10:06:22 +0100 |
commit | d55d75ec0d37712970b3559edaaad50a8e8851e6 (patch) | |
tree | 463726b6d8b7593280105385851714a2530f1c92 /bin/gen-DSA | |
parent | b29f3953d8f23c1f584be8dfb1f75d63fe592a41 (diff) |
bin/gen-DSA: Try and avoid duplicated work when generating DLAs and ELAs due to lack of co-ordination in the -needed.txt files.
Diffstat (limited to 'bin/gen-DSA')
-rwxr-xr-x | bin/gen-DSA | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/bin/gen-DSA b/bin/gen-DSA index 3ced2eef36..fd88f2679b 100755 --- a/bin/gen-DSA +++ b/bin/gen-DSA @@ -394,6 +394,9 @@ EOF if [ -d .git ]; then echo "Made the following changes:" git diff -- data/$IDMODE/list $needed_file + if ! git diff-index --name-only HEAD -- $needed_file | grep -qs .; then + warn "did not make any changes to $needed_file - this may indicate duplicate work" + fi fi 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 |