@@ -49,6 +49,7 @@ COVERAGE=0
50HPC_REPORT_OPTIONS=
50HPC_REPORT_OPTIONS=
52+CABAL_BUILD_OPTIONS="--flag limit-build-mem"
53# XXX add a bisect option
54# XXX add a bisect option
54while test -n "$1"
55while test -n "$1"
@@ -58,7 +59,7 @@ do
58 # options with arguments
59 # options with arguments
59 --targets) shift; TARGETS=$1; shift ;;
60 --targets) shift; TARGETS=$1; shift ;;
60 --with-compiler) shift; CABAL_WITH_COMPILER=$1; shift ;;
61 --with-compiler) shift; CABAL_WITH_COMPILER=$1; shift ;;
61− --cabal-build-options) shift; CABAL_BUILD_OPTIONS=$1; shift ;;
62+ --cabal-build-options) shift; CABAL_BUILD_OPTIONS+=$1; shift ;;
62 --hpc-report-options) shift; HPC_REPORT_OPTIONS=$1; shift ;;
63 --hpc-report-options) shift; HPC_REPORT_OPTIONS=$1; shift ;;
63 --rtsopts) shift; RTS_OPTIONS=$1; shift ;;
64 --rtsopts) shift; RTS_OPTIONS=$1; shift ;;