diff options
| author | Glenn Morris | 2019-02-01 17:36:32 -0800 |
|---|---|---|
| committer | Glenn Morris | 2019-02-01 17:36:32 -0800 |
| commit | cdcdb11017342da2bf1f1cb360a8ef597f89b4dd (patch) | |
| tree | 9bd644f29784a1b496fc2c8d7489c0ae465b92df | |
| parent | d53ff31bf12b3dca83caf20c7360bb92822cb151 (diff) | |
| download | emacs-cdcdb11017342da2bf1f1cb360a8ef597f89b4dd.tar.gz emacs-cdcdb11017342da2bf1f1cb360a8ef597f89b4dd.zip | |
* make-dist: Fix --no-update with no pre-existing MANIFEST.
| -rwxr-xr-x | make-dist | 2 |
1 files changed, 1 insertions, 1 deletions
| @@ -389,7 +389,7 @@ fi | |||
| 389 | # 'git ls-files' later (e.g., after extraction from a tarball). | 389 | # 'git ls-files' later (e.g., after extraction from a tarball). |
| 390 | # Otherwise, rely on the existing MANIFEST, which should be maintained some | 390 | # Otherwise, rely on the existing MANIFEST, which should be maintained some |
| 391 | # other way when adding or deleting a distributed file while not using Git. | 391 | # other way when adding or deleting a distributed file while not using Git. |
| 392 | if [ $update = yes ] && [ -r .git ]; then | 392 | if ( [ $update = yes ] || [ ! -f MANIFEST ] ) && [ -r .git ]; then |
| 393 | echo "Updating MANIFEST" | 393 | echo "Updating MANIFEST" |
| 394 | if [ $with_tests = yes ]; then | 394 | if [ $with_tests = yes ]; then |
| 395 | git ls-files >MANIFEST | 395 | git ls-files >MANIFEST |