* 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.
|
# other way when adding or deleting a distributed file while not using Git.
|
||||||
# TODO: maybe this should ignore $update, and always update MANIFEST
|
# TODO: maybe this should ignore $update, and always update MANIFEST
|
||||||
# if .git is present.
|
# 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
|
if ( [ $update = yes ] || [ ! -f $manifest ] ) && [ -r .git ]; then
|
||||||
echo "Updating $manifest"
|
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
|
printf '%s\n' $possibly_non_vc_files $info_files >>$manifest || exit
|
||||||
sort -u -o $manifest $manifest || exit
|
sort -u -o $manifest $manifest || exit
|
||||||
fi
|
fi
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue