@@ -134,12 +134,18 @@ ghc_prime_coverage () {
135#------------------------------------------------------------------------------
135#------------------------------------------------------------------------------
137−ghc_prime_dev_perf () {
137+ghc_prime_dev_test () {
138 nix-shell \
138 nix-shell \
139 --argstr compiler "$GHC_PRIME_NIX" \
139 --argstr compiler "$GHC_PRIME_NIX" \
141 bin/test.sh --cabal-build-options \
141 bin/test.sh --cabal-build-options \
142− \"--jobs=$JOBS --flag dev\";\
142+ \"--jobs=$JOBS --flag dev\""
145+ghc_prime_dev_perf () {
147+ --argstr compiler "$GHC_PRIME_NIX" \
143 bin/bench.sh --cabal-build-options \
149 bin/bench.sh --cabal-build-options \
144 \"--jobs=$JOBS --flag dev $PERF_FLAGS\" --quick --raw"
150 \"--jobs=$JOBS --flag dev $PERF_FLAGS\" --quick --raw"
@@ -225,6 +231,7 @@ ghcjs () {
225RELEASE_CI_TARGETS="\
231RELEASE_CI_TARGETS="\
226ghc_prime_dist \
232ghc_prime_dist \
227ghc_prime_dist_tests \
233ghc_prime_dist_tests \
228ghc_prime_perf \
235ghc_prime_perf \
229ghc_prime_O0 \
236ghc_prime_O0 \
230ghc_prime_Werror \
237ghc_prime_Werror \
@@ -238,8 +245,7 @@ ghc884 \
241−# XXX We should include dev as well but it has some test and benchmark
248+# XXX Include flaky tests flag in manual tests
242−# failures to be fixed.
243ALL_TARGETS="\
249ALL_TARGETS="\
244$RELEASE_CI_TARGETS \
250$RELEASE_CI_TARGETS \
245ghc_prime_dist_tests_stack \
251ghc_prime_dist_tests_stack \