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 | 272f4a9f37ecd2e531d7f28fd223924d97e92b47 (patch) | |
tree | 060331123cda8941c6abcde61f78071698f69d1f /bin/gen-DSA | |
parent | 09249d05a074da436ea749b24f10dc657272d42e (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 |