diff options
author | Ubuntu <ubuntu@ip-172-31-25-209.ec2.internal> | 2023-02-23 03:18:18 +0000 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2023-04-24 06:04:18 -0400 |
commit | 4bced9472b974085bc8637282f36d6d154102be0 (patch) | |
tree | 44800f422fa70ea2f1e4a17f8351287b36c1a679 | |
parent | 1079e23fdc854859de180c55be502ea60f3020c2 (diff) | |
download | haskell-4bced9472b974085bc8637282f36d6d154102be0.tar.gz |
Refine run script
-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 |