@@ -17,6 +17,7 @@ print_help () {
1717 echo " [--quick]"
1818 echo " [--raw]"
1919 echo " [--dev-build]"
20+ echo " [--with-compiler <compiler exe name>]"
2021 echo " [--cabal-build-options <options>]"
2122 echo " [--rtsopts <opts>]"
2223 echo " [--compare] [--base <commit>] [--candidate <commit>]"
@@ -297,6 +298,7 @@ do
297298 --fields) shift; FIELDS=$1; shift ;;
298299 --base) shift; BASE=$1; shift ;;
299300 --candidate) shift; CANDIDATE=$1; shift ;;
301+ --with-compiler) shift; CABAL_WITH_COMPILER=$1; shift ;;
300302 --cabal-build-flags) shift; CABAL_BUILD_OPTIONS+=$1; shift ;;
301303 --cabal-build-options) shift; CABAL_BUILD_OPTIONS+=$1; shift ;;
302304 --rtsopts) shift; RTS_OPTIONS=$1; shift ;;
@@ -317,6 +319,8 @@ do
317319done
318320GAUGE_ARGS=$*
319321
322+set_derived_vars
323+
320324#-----------------------------------------------------------------------------
321325# Determine targets
322326#-----------------------------------------------------------------------------