diff options
author | Sean Whitton <spwhitton@spwhitton.name> | 2016-10-22 17:41:06 -0700 |
---|---|---|
committer | Sean Whitton <spwhitton@spwhitton.name> | 2016-10-22 17:41:06 -0700 |
commit | d74d6e8ff464cd22a7990adc9b44eec41bd28489 (patch) | |
tree | 9d9246aa94289ffcec102151eb5eb75a7ecc97e1 /debian | |
parent | ebf15969cf2f28966e15a61a0d824623d69c769f (diff) | |
download | keysafe-d74d6e8ff464cd22a7990adc9b44eec41bd28489.tar.gz |
pass -j1 for a reproducible build
Diffstat (limited to 'debian')
-rwxr-xr-x | debian/rules | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/debian/rules b/debian/rules index c0fd936..f0b77d3 100755 --- a/debian/rules +++ b/debian/rules @@ -1,8 +1,10 @@ #!/usr/bin/make -f export DEB_BUILD_MAINT_OPTIONS = hardening=+all -export BUILDER=./Setup +export BUILDER = ./Setup # ^ cabal likes to write to $HOME +export BUILDEROPTIONS = -j1 +# ^ in the hope of making the build reproducible (see Makefile) %: dh $@ |