@@ -484,8 +484,8 @@ do
484484 --base) shift; BASE=$1; shift ;;
485485 --candidate) shift; CANDIDATE=$1; shift ;;
486486 --with-compiler) shift; CABAL_WITH_COMPILER=$1; shift ;;
487− --cabal-build-flags) shift; CABAL_BUILD_OPTIONS+=$1; shift ;;
488− --cabal-build-options) shift; CABAL_BUILD_OPTIONS+=$1; shift ;;
487+ --cabal-build-flags) shift; CABAL_BUILD_OPTIONS+=" $1"; shift ;;
488+ --cabal-build-options) shift; CABAL_BUILD_OPTIONS+=" $1"; shift ;;
489489 --rtsopts) shift; RTS_OPTIONS=$1; shift ;;
490490 --config) shift; BENCH_CONFIG_FILE=$1; shift ;;
491491 --diff-style) shift; BENCH_DIFF_STYLE=$1; shift ;;