@@ -59,14 +59,14 @@ do
59 # options with arguments
59 # options with arguments
60 --targets) shift; TARGETS=$1; shift ;;
60 --targets) shift; TARGETS=$1; shift ;;
61 --with-compiler) shift; CABAL_WITH_COMPILER=$1; shift ;;
61 --with-compiler) shift; CABAL_WITH_COMPILER=$1; shift ;;
62− --cabal-build-options) shift; CABAL_BUILD_OPTIONS+=$1; shift ;;
62+ --cabal-build-options) shift; CABAL_BUILD_OPTIONS+=" $1"; shift ;;
63− --hpc-report-options) shift; HPC_REPORT_OPTIONS=$1; shift ;;
63+ --hpc-report-options) shift; HPC_REPORT_OPTIONS="$1"; shift ;;
64− --rtsopts) shift; RTS_OPTIONS=$1; shift ;;
64+ --rtsopts) shift; RTS_OPTIONS="$1"; shift ;;
66 --raw) RAW=1; shift ;;
66 --raw) RAW=1; shift ;;
67 #--slow) SLOW=1; shift ;; # not implemented
67 #--slow) SLOW=1; shift ;; # not implemented
68 #--quick) QUICK_MODE=1; shift ;; # not implemented
68 #--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 ;;
70 --coverage) COVERAGE=1; shift ;;
70 --coverage) COVERAGE=1; shift ;;
71 --no-measure) MEASURE=0; shift ;;
71 --no-measure) MEASURE=0; shift ;;
72 --) shift; break ;;
72 --) shift; break ;;