[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Emacs-diffs] master cdcdb11: * make-dist: Fix --no-update with no pre-e
From: |
Glenn Morris |
Subject: |
[Emacs-diffs] master cdcdb11: * make-dist: Fix --no-update with no pre-existing MANIFEST. |
Date: |
Fri, 1 Feb 2019 20:36:39 -0500 (EST) |
branch: master
commit cdcdb11017342da2bf1f1cb360a8ef597f89b4dd
Author: Glenn Morris <address@hidden>
Commit: Glenn Morris <address@hidden>
* make-dist: Fix --no-update with no pre-existing MANIFEST.
---
make-dist | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/make-dist b/make-dist
index 62e47b4..a56b734 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
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Emacs-diffs] master cdcdb11: * make-dist: Fix --no-update with no pre-existing MANIFEST.,
Glenn Morris <=