* make-dist (manifest): Filter out msdos/autogen/* files.
This commit is contained in:
parent
b5354e989d
commit
ea8422204f
1 changed files with 3 additions and 1 deletions
|
@ -392,9 +392,11 @@ manifest=MANIFEST
|
|||
# other way when adding or deleting a distributed file while not using Git.
|
||||
# TODO: maybe this should ignore $update, and always update MANIFEST
|
||||
# if .git is present.
|
||||
# Filter out the files in msdos/autogen/, as they aren't useful in the
|
||||
# tarball, and get in the way during the build of the MSDOS port.
|
||||
if ( [ $update = yes ] || [ ! -f $manifest ] ) && [ -r .git ]; then
|
||||
echo "Updating $manifest"
|
||||
git ls-files > $manifest || exit
|
||||
git ls-files | sed -e '/^msdos\/autogen\//d' > $manifest || exit
|
||||
printf '%s\n' $possibly_non_vc_files $info_files >>$manifest || exit
|
||||
sort -u -o $manifest $manifest || exit
|
||||
fi
|
||||
|
|
Loading…
Add table
Reference in a new issue