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 /build_w32.bat | |
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 'build_w32.bat')
-rw-r--r--[-rwxr-xr-x] | build_w32.bat | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/build_w32.bat b/build_w32.bat index 5153ee8c..5153ee8c 100755..100644 --- a/build_w32.bat +++ b/build_w32.bat |