diff options
author | Tom Smeding <tom@tomsmeding.com> | 2022-09-08 10:10:01 +0200 |
---|---|---|
committer | Tom Smeding <tom@tomsmeding.com> | 2022-09-08 10:10:01 +0200 |
commit | 9a8190e3dd6899ca1be16fa24172e842fcb16bd8 (patch) | |
tree | 90ad3387197a1dda2e73bbf61432bc6a437568dd /repro.sh |
Initial
Diffstat (limited to 'repro.sh')
-rwxr-xr-x | repro.sh | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/repro.sh b/repro.sh new file mode 100755 index 0000000..747601d --- /dev/null +++ b/repro.sh @@ -0,0 +1,10 @@ +#!/usr/bin/env bash +exe=$(cabal list-bin snap-efault) +echo "Program: <$exe>" + +echo "Be ready to 'kill $$', because ^C tends to not work with 'timeout'" + +while true; do + echo -n "*" + timeout 0.4 "$exe" +RTS -N 2>&1 | grep spawnp +done |