@@ -17,7 +17,7 @@ print_help () {
17 echo " [--quick]"
17 echo " [--quick]"
18 echo " [--raw]"
18 echo " [--raw]"
19 echo " [--dev-build]"
19 echo " [--dev-build]"
20− echo " [--cabal-build-flags <flag>]"
20+ echo " [--cabal-build-options <options>]"
21 echo " [--rtsopts <opts>]"
21 echo " [--rtsopts <opts>]"
22 echo " [--compare] [--base <commit>] [--candidate <commit>]"
22 echo " [--compare] [--base <commit>] [--candidate <commit>]"
23 echo " -- <gauge options or benchmarks>"
23 echo " -- <gauge options or benchmarks>"
@@ -32,8 +32,8 @@ print_help () {
32 echo "--quick: Faster results, useful for longer benchmarks"
32 echo "--quick: Faster results, useful for longer benchmarks"
33 echo "--raw: Run the benchmarks but don't report them. This is useful when"
33 echo "--raw: Run the benchmarks but don't report them. This is useful when"
34 echo " you only want to work with the csv files generated."
34 echo " you only want to work with the csv files generated."
35− echo "--cabal-build-flags: Pass any cabal builds flags to be used for build"
35+ echo "--cabal-build-options: Pass any cabal build options to be used for build"
36− echo " e.g. --cabal-build-flags \"--flag fusion-plugin\""
36+ echo " e.g. --cabal-build-options \"--flag dev\""
38 echo "When specific space complexity group is chosen then (and only then) "
38 echo "When specific space complexity group is chosen then (and only then) "
39 echo "RTS memory restrictions are used accordingly. For example, "
39 echo "RTS memory restrictions are used accordingly. For example, "