diff options
author | David Goulet <dgoulet@torproject.org> | 2021-10-28 16:29:22 -0400 |
---|---|---|
committer | David Goulet <dgoulet@torproject.org> | 2021-10-28 16:29:37 -0400 |
commit | 8da8105ee2f6b17aa3c3243eb8c406b509296802 (patch) | |
tree | 5574b6567a0ce51da67b543736a683949ad23728 | |
parent | 11fedab9cec75293485f2bf89e47d73de074ce73 (diff) | |
download | tor-8da8105ee2f6b17aa3c3243eb8c406b509296802.tar.gz tor-8da8105ee2f6b17aa3c3243eb8c406b509296802.zip |
makefile: Add a reproducible dist make job
Signed-off-by: David Goulet <dgoulet@torproject.org>
-rw-r--r-- | Makefile.am | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Makefile.am b/Makefile.am index 3056b08446..c889945d5a 100644 --- a/Makefile.am +++ b/Makefile.am @@ -739,3 +739,7 @@ lsp: else \ echo "No bear command found. On debian, apt install bear"; \ fi + +# Reproducible tarball. We change the tar options for this. +dist-reprod: + $(MAKE) dist am__tar="$${TAR-tar} --format=gnu --owner=root --group=root --sort=name --mtime=\"`git show --no-patch --format='%ci'`\" -chof - $(distdir)" |