Skip to content
Snippets Groups Projects
Commit 8cf6f918 authored by David Goulet's avatar David Goulet :panda_face:
Browse files

makefile: Add a reproducible dist make job

parent d37273be
No related branches found
No related tags found
No related merge requests found
......@@ -484,3 +484,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)"
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment