@@ -17,7 +17,7 @@ print_help () {
1717 echo " [--quick]"
1818 echo " [--raw]"
1919 echo " [--dev-build]"
20− echo " [--cabal-build-flags <flag>]"
20+ echo " [--cabal-build-options <options>]"
2121 echo " [--rtsopts <opts>]"
2222 echo " [--compare] [--base <commit>] [--candidate <commit>]"
2323 echo " -- <gauge options or benchmarks>"
@@ -32,8 +32,8 @@ print_help () {
3232 echo "--quick: Faster results, useful for longer benchmarks"
3333 echo "--raw: Run the benchmarks but don't report them. This is useful when"
3434 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"
36− echo " e.g. --cabal-build-flags \"--flag fusion-plugin\""
35+ echo "--cabal-build-options: Pass any cabal build options to be used for build"
36+ echo " e.g. --cabal-build-options \"--flag dev\""
3737 echo
3838 echo "When specific space complexity group is chosen then (and only then) "
3939 echo "RTS memory restrictions are used accordingly. For example, "