@@ -134,12 +134,18 @@ ghc_prime_coverage () {
134134# Flags
135135#------------------------------------------------------------------------------
136136
137−ghc_prime_dev_perf () {
137+ghc_prime_dev_test () {
138138 nix-shell \
139139 --argstr compiler "$GHC_PRIME_NIX" \
140140 --run "\
141141 bin/test.sh --cabal-build-options \
142− \"--jobs=$JOBS --flag dev\";\
142+ \"--jobs=$JOBS --flag dev\""
143+}
144+
145+ghc_prime_dev_perf () {
146+ nix-shell \
147+ --argstr compiler "$GHC_PRIME_NIX" \
148+ --run "\
143149 bin/bench.sh --cabal-build-options \
144150 \"--jobs=$JOBS --flag dev $PERF_FLAGS\" --quick --raw"
145151}
@@ -225,6 +231,7 @@ ghcjs () {
225231RELEASE_CI_TARGETS="\
226232ghc_prime_dist \
227233ghc_prime_dist_tests \
234+ghc_prime_dev_test \
228235ghc_prime_perf \
229236ghc_prime_O0 \
230237ghc_prime_Werror \
@@ -238,8 +245,7 @@ ghc884 \
238245ghcjs \
239246lint"
240247
241−# XXX We should include dev as well but it has some test and benchmark
242−# failures to be fixed.
248+# XXX Include flaky tests flag in manual tests
243249ALL_TARGETS="\
244250$RELEASE_CI_TARGETS \
245251ghc_prime_dist_tests_stack \