diff options
-rw-r--r-- | run.sh | 23 |
1 files changed, 13 insertions, 10 deletions
@@ -1,16 +1,15 @@ test=testsuite/tests/driver/T20030/test1 +cmdline=( + "$HOME/ghc/_build/stage1/bin/ghc" + --make -i$test I K + -dcore-lint -dstg-lint -dcmm-lint -no-user-package-db -fno-dump-with-ways + -rtsopts + -v1 -j8 -fforce-recomp +RTS -DS -DZ -N8 -A128k $RTS_FLAGS -RTS +) + run() { - ( - cd $test - $WRAPPER \ - "$HOME/ghc/_build/stage1/bin/ghc" --make \ - I.hs K.hs \ - -dcore-lint -dstg-lint -dcmm-lint -no-user-package-db -fno-dump-with-ways \ - -rtsopts \ - -v1 -j8 -fforce-recomp +RTS -DS -DZ -N8 -A128k $RTS_FLAGS -RTS \ - || return 1 - ) + $WRAPPER "${cmdline[@]}" || return 1 } run_many() { @@ -28,4 +27,8 @@ run_many_rr() { while true; do run_rr || break; done } +run_gdb() { + gdb --args "${cmdline[@]}" +} + run_many |