diff options
| -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 $@ |