From 369d20559d6118d6b6cee2adc265114ad30fa3b3 Mon Sep 17 00:00:00 2001 From: Glenn Morris Date: Mon, 4 Feb 2019 19:50:44 -0800 Subject: [PATCH] * make-dist: Prefer a temporary manifest file. This prevents the manifest cluttering up the build tree, and possibly getting stale if --no-update is used. --- make-dist | 50 ++++++++++++++++++++++++++++++-------------------- 1 file changed, 30 insertions(+), 20 deletions(-) diff --git a/make-dist b/make-dist index ef35c87c355..4e18d77a87b 100755 --- a/make-dist +++ b/make-dist @@ -381,28 +381,34 @@ else info_files= fi -# If Git is in use update the file MANIFEST, which can substitute for -# '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 ] || [ ! -f MANIFEST ] ) && [ -r .git ]; then - echo "Updating MANIFEST" - if [ $with_tests = yes ]; then - git ls-files >MANIFEST - else - git ls-files | grep -v '^test' >MANIFEST - fi || exit - printf '%s\n' $possibly_non_vc_files $info_files >>MANIFEST || exit - sort -u -o MANIFEST MANIFEST || exit -fi - - $manifest + else + git ls-files | grep -v '^test' >$manifest + fi || exit + printf '%s\n' $possibly_non_vc_files $info_files >>$manifest || exit + sort -u -o $manifest $manifest || exit +fi + +<$manifest || exit + ### This trap ensures that the staging directory will be cleaned up even ### when the script is interrupted in mid-career. if [ "${clean_up}" = yes ]; then @@ -449,13 +455,17 @@ MANIFEST_subdir_sed=' /^$/d s,^,'$tempdir'/, ' -tempsubdirs=$(sed "$MANIFEST_subdir_sed" MANIFEST | sort -u) +tempsubdirs=$(sed "$MANIFEST_subdir_sed" $manifest | sort -u) $mkdir_verbose -p $tempsubdirs || exit echo "Making links to files" while read file; do - [ $file = "$file_to_skip" ] || ln $file $tempdir/$file || exit -done