on master help sign in
Use fusion-plugin by default
commit6c02648b7d5c89647d02c948a8235715b99456cb authorHarendra Kumar <harendra@composewell.com> dateWed 10 Feb 2021, 17:26 (6 years ago) parentd1ab6e5
1 file changed+4−2
bin/bench.sh+4−2
bin/bench.sh+4−2
@@ -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 ;;