build.sh: allow passing extra flags like -K or -j1

This commit is contained in:
Domen Kožar 2018-08-06 12:15:01 +01:00
parent 6608dc25b3
commit 4e72e2b356
No known key found for this signature in database
GPG Key ID: C2FFBCAFD2C24246

View File

@ -15,5 +15,6 @@ else
nix-build \
--argstr compiler $GHCVERSION \
--arg doTracing $TRACING \
--arg doStrict $STRICT
--arg doStrict $STRICT \
$@
fi