diff options
author | Eli Zaretskii <eliz@gnu.org> | 2021-12-12 20:20:51 +0200 |
---|---|---|
committer | Eli Zaretskii <eliz@gnu.org> | 2021-12-12 20:20:51 +0200 |
commit | ea8422204f1fbd354e4d25b8c99fd4916db87296 (patch) | |
tree | ef6907a04bdc6190291e6cc73a568e91e4180b9e /make-dist | |
parent | b5354e989d8ec590ef6160f9241333a7d73628e3 (diff) | |
download | emacs-ea8422204f1fbd354e4d25b8c99fd4916db87296.tar.gz |
* make-dist (manifest): Filter out msdos/autogen/* files.
Diffstat (limited to 'make-dist')
-rwxr-xr-x | make-dist | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/make-dist b/make-dist index eb040150d9d..b069130ca61 100755 --- a/make-dist +++ b/make-dist @@ -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 |