@@ -80,21 +80,26 @@ bench_rts_opts_specific () {
80# Speed options
80# Speed options
81#------------------------------------------------------------------------------
81#------------------------------------------------------------------------------
83−if test -n "$QUICK_MODE"
83+SUPER_QUICK_OPTIONS="--quick --min-duration 0 --time-limit 0 --include-first-iter"
84−then
84+QUICKER_OPTIONS="--min-samples 3 --time-limit 1"
86+# For certain long benchmarks if the user has not requested super quick
87+# mode we anyway use a slightly quicker mode.
85− if test "$QUICK_MODE" -eq 0
89+ if test -n "$QUICK_MODE"
87− QUICK_OPTIONS="--min-samples 3"
91+ if test "$QUICK_MODE" -eq 0
93+ echo $QUICKER_OPTIONS
90−SUPER_QUICK_OPTIONS="--min-samples 1 --include-first-iter"
92bench_exe_quick_opts () {
98bench_exe_quick_opts () {
93 case "$1" in
99 case "$1" in
94 Prelude.Concurrent) echo -n "$SUPER_QUICK_OPTIONS" ;;
100 Prelude.Concurrent) echo -n "$SUPER_QUICK_OPTIONS" ;;
95 Prelude.Rate) echo -n "$SUPER_QUICK_OPTIONS" ;;
101 Prelude.Rate) echo -n "$SUPER_QUICK_OPTIONS" ;;
96 Prelude.Adaptive) echo -n "$SUPER_QUICK_OPTIONS" ;;
102 Prelude.Adaptive) echo -n "$SUPER_QUICK_OPTIONS" ;;
97− fileio) echo -n "$SUPER_QUICK_OPTIONS" ;;
98 *) echo -n "" ;;
103 *) echo -n "" ;;
@@ -108,18 +113,20 @@ bench_quick_opts () {
108 echo -n "$SUPER_QUICK_OPTIONS" ;;
113 echo -n "$SUPER_QUICK_OPTIONS" ;;
109 Prelude.Parallel/o-n-space/monad-outer-product/*)
114 Prelude.Parallel/o-n-space/monad-outer-product/*)
110 echo -n "$SUPER_QUICK_OPTIONS" ;;
115 echo -n "$SUPER_QUICK_OPTIONS" ;;
111− Prelude.Parallel/o-n-heap/generation/*) echo -n "$QUICK_OPTIONS" ;;
116+ Prelude.Parallel/o-n-heap/generation/*) use_quicker_mode ;;
112− Prelude.Parallel/o-n-heap/mapping/*) echo -n "$QUICK_OPTIONS" ;;
117+ Prelude.Parallel/o-n-heap/mapping/*) use_quicker_mode ;;
113− Prelude.Parallel/o-n-heap/concat-foldable/*) echo -n "$QUICK_OPTIONS" ;;
118+ Prelude.Parallel/o-n-heap/concat-foldable/*) use_quicker_mode ;;
120+ Prelude.Async/o-1-space/monad-outer-product/*) use_quicker_mode ;;
121+ Prelude.Async/o-n-space/monad-outer-product/*) use_quicker_mode ;;
115− Prelude.Async/o-1-space/monad-outer-product/*) echo -n "$QUICK_OPTIONS" ;;
123+ Prelude.Ahead/o-1-space/monad-outer-product/*) use_quicker_mode ;;
116− Prelude.Async/o-n-space/monad-outer-product/*) echo -n "$QUICK_OPTIONS" ;;
124+ Prelude.Ahead/o-n-space/monad-outer-product/*) use_quicker_mode ;;
118− Prelude.Ahead/o-1-space/monad-outer-product/*) echo -n "$QUICK_OPTIONS" ;;
126+ Prelude.WAsync/o-n-heap/monad-outer-product/*) use_quicker_mode ;;
119− Prelude.Ahead/o-n-space/monad-outer-product/*) echo -n "$QUICK_OPTIONS" ;;
127+ Prelude.WAsync/o-n-space/monad-outer-product/*) use_quicker_mode ;;
121− Prelude.WAsync/o-n-heap/monad-outer-product/*) echo -n "$QUICK_OPTIONS" ;;
129+ FileSystem.Handle/*) use_quicker_mode ;;
122− Prelude.WAsync/o-n-space/monad-outer-product/*) echo -n "$QUICK_OPTIONS" ;;
123 *) echo -n "" ;;
130 *) echo -n "" ;;