diff options
author | Paul Smith <psmith@gnu.org> | 2022-09-08 00:04:11 -0400 |
---|---|---|
committer | Paul Smith <psmith@gnu.org> | 2022-09-08 03:04:15 -0400 |
commit | 896908180e7948cc1649982b24b64752a9c58daa (patch) | |
tree | 969c23ebd10cc75ed996e21f90e101c850253a59 /maintMakefile | |
parent | 80e9a422e4779ea039733f4cba258d91656f6fa6 (diff) | |
download | make-git-896908180e7948cc1649982b24b64752a9c58daa.tar.gz |
Sanitize tar file ownership, mode, and order
For reproducibility ensure all files in the dist tar file are owned by
root, and sorted by name. Force the mode on all files to be writable
by the owner and not writable by group or user, by default.
Remove unnecessary execute permissions from build_w32.bat.
Recommended by Tzvetelin Katchov <katchov@gnu.org>.
Diffstat (limited to 'maintMakefile')
-rw-r--r-- | maintMakefile | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/maintMakefile b/maintMakefile index 88f734ae..99d649b6 100644 --- a/maintMakefile +++ b/maintMakefile @@ -230,6 +230,11 @@ get-doc/make-stds.texi get-doc/fdl.texi: # Extra configuration checks. # # ---------------------------- # +# Make the dist file contents more regular, if we're using GNU tar. +# Suggested by Tzvetelin Katchov <katchov@gnu.org> + +export TAR_OPTIONS := --mode=u+w,go-w --owner=0 --group=0 --numeric-owner --sort=name + # When I released 4.3 somehow the INSTALL file was missing. # When I tried to build it again, it was there. I have no idea what happened # but add a new check to be sure it doesn't happen again. |