@@ -281,6 +281,8 @@ MEASURE=1
281GAUGE_ARGS=
281GAUGE_ARGS=
282BUILD_ONCE=0
282BUILD_ONCE=0
284+CABAL_BUILD_OPTIONS="--flag fusion-plugin "
284#-----------------------------------------------------------------------------
286#-----------------------------------------------------------------------------
285# Read command line
287# Read command line
286#-----------------------------------------------------------------------------
288#-----------------------------------------------------------------------------
@@ -295,8 +297,8 @@ do
295 --fields) shift; FIELDS=$1; shift ;;
297 --fields) shift; FIELDS=$1; shift ;;
296 --base) shift; BASE=$1; shift ;;
298 --base) shift; BASE=$1; shift ;;
297 --candidate) shift; CANDIDATE=$1; shift ;;
299 --candidate) shift; CANDIDATE=$1; shift ;;
298− --cabal-build-flags) shift; CABAL_BUILD_OPTIONS=$1; shift ;;
300+ --cabal-build-flags) shift; CABAL_BUILD_OPTIONS+=$1; shift ;;
299− --cabal-build-options) shift; CABAL_BUILD_OPTIONS=$1; shift ;;
301+ --cabal-build-options) shift; CABAL_BUILD_OPTIONS+=$1; shift ;;
300 --rtsopts) shift; RTS_OPTIONS=$1; shift ;;
302 --rtsopts) shift; RTS_OPTIONS=$1; shift ;;
302 --slow) SLOW=1; shift ;;
304 --slow) SLOW=1; shift ;;