@@ -17,6 +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 " [--with-compiler <compiler exe name>]"
20 echo " [--cabal-build-options <options>]"
21 echo " [--cabal-build-options <options>]"
21 echo " [--rtsopts <opts>]"
22 echo " [--rtsopts <opts>]"
22 echo " [--compare] [--base <commit>] [--candidate <commit>]"
23 echo " [--compare] [--base <commit>] [--candidate <commit>]"
@@ -297,6 +298,7 @@ do
297 --fields) shift; FIELDS=$1; shift ;;
298 --fields) shift; FIELDS=$1; shift ;;
298 --base) shift; BASE=$1; shift ;;
299 --base) shift; BASE=$1; shift ;;
299 --candidate) shift; CANDIDATE=$1; shift ;;
300 --candidate) shift; CANDIDATE=$1; shift ;;
301+ --with-compiler) shift; CABAL_WITH_COMPILER=$1; shift ;;
300 --cabal-build-flags) shift; CABAL_BUILD_OPTIONS+=$1; shift ;;
302 --cabal-build-flags) shift; CABAL_BUILD_OPTIONS+=$1; shift ;;
301 --cabal-build-options) shift; CABAL_BUILD_OPTIONS+=$1; shift ;;
303 --cabal-build-options) shift; CABAL_BUILD_OPTIONS+=$1; shift ;;
302 --rtsopts) shift; RTS_OPTIONS=$1; shift ;;
304 --rtsopts) shift; RTS_OPTIONS=$1; shift ;;
@@ -317,6 +319,8 @@ do
318GAUGE_ARGS=$*
320GAUGE_ARGS=$*
320#-----------------------------------------------------------------------------
324#-----------------------------------------------------------------------------
321# Determine targets
325# Determine targets
322#-----------------------------------------------------------------------------
326#-----------------------------------------------------------------------------