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

makefile: Add a reproducible dist make job

parent c845f2e4
No related branches found
No related tags found
No related merge requests found
......@@ -680,3 +680,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