diff options
Diffstat (limited to 'Microbenchmarks')
| -rwxr-xr-x | Microbenchmarks/STREAM/run-rank-stress.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Microbenchmarks/STREAM/run-rank-stress.sh b/Microbenchmarks/STREAM/run-rank-stress.sh index 1e321c6..a29f101 100755 --- a/Microbenchmarks/STREAM/run-rank-stress.sh +++ b/Microbenchmarks/STREAM/run-rank-stress.sh @@ -5,6 +5,7 @@ mkdir -p $(hostname) NCORES=$(grep -c '^processor' /proc/cpuinfo) cleanexit() { pkill -f "stress -c ${NCORES}" + exit 0 } trap cleanexit TERM INT |