@@ -59,14 +59,14 @@ do
5959 # options with arguments
6060 --targets) shift; TARGETS=$1; shift ;;
6161 --with-compiler) shift; CABAL_WITH_COMPILER=$1; shift ;;
62− --cabal-build-options) shift; CABAL_BUILD_OPTIONS+=$1; shift ;;
63− --hpc-report-options) shift; HPC_REPORT_OPTIONS=$1; shift ;;
64− --rtsopts) shift; RTS_OPTIONS=$1; shift ;;
62+ --cabal-build-options) shift; CABAL_BUILD_OPTIONS+=" $1"; shift ;;
63+ --hpc-report-options) shift; HPC_REPORT_OPTIONS="$1"; shift ;;
64+ --rtsopts) shift; RTS_OPTIONS="$1"; shift ;;
6565 # flags
6666 --raw) RAW=1; shift ;;
6767 #--slow) SLOW=1; shift ;; # not implemented
6868 #--quick) QUICK_MODE=1; shift ;; # not implemented
69− --dev-build) RUNNING_DEVBUILD=1; shift ;;
69+ --dev-build) RUNNING_DEVBUILD=1 CABAL_BUILD_OPTIONS+=" --flag dev"; shift ;;
7070 --coverage) COVERAGE=1; shift ;;
7171 --no-measure) MEASURE=0; shift ;;
7272 --) shift; break ;;