diff --git a/benchmark/bench-report/bin/build-lib.sh b/benchmark/bench-report/bin/build-lib.sh index 288faec2f..fb7a15991 100644 --- a/benchmark/bench-report/bin/build-lib.sh +++ b/benchmark/bench-report/bin/build-lib.sh @@ -119,7 +119,14 @@ set_targets() { # $3: component ("" (lib), t (test), b (benchmark), x (executable)) # $4: command to find cabal_which_builddir() { - local path=$(echo $1/build/*/ghc-${GHC_VERSION}/${2}/$3/$4/build/$4/$4) + local noopt="" + if test "$TEST_QUICK_MODE" -eq 1 + then + noopt="/noopt" + fi + + local path=$(echo $1/build/*/ghc-${GHC_VERSION}/${2}/$3/$4$noopt/build/$4/$4) + echo "[cabal_which $path]" 1>&2 test -f "$path" && echo $path } diff --git a/bin/test.sh b/bin/test.sh index 837ece535..925e79b17 100755 --- a/bin/test.sh +++ b/bin/test.sh @@ -13,25 +13,32 @@ source $SCRIPT_DIR/targets.sh print_help () { echo "Usage: $0 " echo " [--targets <"target1 target2 ..." | help>]" + echo + echo " [--quick]" echo " [--with-compiler ]" echo " [--cabal-build-options