From 9a8190e3dd6899ca1be16fa24172e842fcb16bd8 Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Thu, 8 Sep 2022 10:10:01 +0200 Subject: Initial --- repro.sh | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100755 repro.sh (limited to 'repro.sh') 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 -- cgit v1.2.3-54-g00ecf