diff options
Diffstat (limited to 'make-dist')
| -rwxr-xr-x | make-dist | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/make-dist b/make-dist index 62e47b4d145..a56b7341feb 100755 --- a/make-dist +++ b/make-dist @@ -389,7 +389,7 @@ fi # 'git ls-files' later (e.g., after extraction from a tarball). # Otherwise, rely on the existing MANIFEST, which should be maintained some # other way when adding or deleting a distributed file while not using Git. -if [ $update = yes ] && [ -r .git ]; then +if ( [ $update = yes ] || [ ! -f MANIFEST ] ) && [ -r .git ]; then echo "Updating MANIFEST" if [ $with_tests = yes ]; then git ls-files >MANIFEST |