@@ -281,6 +281,8 @@ MEASURE=1
281281GAUGE_ARGS=
282282BUILD_ONCE=0
283283
284+CABAL_BUILD_OPTIONS="--flag fusion-plugin "
285+
284286#-----------------------------------------------------------------------------
285287# Read command line
286288#-----------------------------------------------------------------------------
@@ -295,8 +297,8 @@ do
295297 --fields) shift; FIELDS=$1; shift ;;
296298 --base) shift; BASE=$1; shift ;;
297299 --candidate) shift; CANDIDATE=$1; shift ;;
298− --cabal-build-flags) shift; CABAL_BUILD_OPTIONS=$1; shift ;;
299− --cabal-build-options) shift; CABAL_BUILD_OPTIONS=$1; shift ;;
300+ --cabal-build-flags) shift; CABAL_BUILD_OPTIONS+=$1; shift ;;
301+ --cabal-build-options) shift; CABAL_BUILD_OPTIONS+=$1; shift ;;
300302 --rtsopts) shift; RTS_OPTIONS=$1; shift ;;
301303 # flags
302304 --slow) SLOW=1; shift ;;