From 104683129677e7730b93ed9bdb6ba863b65b2dbb Mon Sep 17 00:00:00 2001 From: Christopher Goes Date: Fri, 5 Oct 2018 15:03:17 +0200 Subject: [PATCH] Don't trap EXIT --- scripts/multisim.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/scripts/multisim.sh b/scripts/multisim.sh index 34ff952ca..5286fba0a 100755 --- a/scripts/multisim.sh +++ b/scripts/multisim.sh @@ -6,9 +6,9 @@ blocks=$1 echo "Running multi-seed simulation with seeds ${seeds[@]}" echo "Running $blocks blocks per seed" echo "Edit scripts/multisim.sh to add new seeds. Keeping parameters in the file makes failures easy to reproduce." -echo "This script will kill all sub-simulations on SIGINT/SIGTERM/EXIT (i.e. Ctrl-C)." +echo "This script will kill all sub-simulations on SIGINT/SIGTERM (i.e. Ctrl-C)." -trap 'kill $(jobs -pr)' SIGINT SIGTERM EXIT +trap 'kill $(jobs -pr)' SIGINT SIGTERM tmpdir=$(mktemp -d) echo "Using temporary log directory: $tmpdir"