From dcd1740432acc7f08dffb26b801089b81646400c Mon Sep 17 00:00:00 2001 From: Derf Null Date: Mon, 24 Apr 2023 15:54:04 +0200 Subject: microbenchmarks: create "profile" directory if it does not exist; set -e --- Microbenchmarks/Random-GUPS/run.sh | 3 +++ 1 file changed, 3 insertions(+) (limited to 'Microbenchmarks/Random-GUPS') diff --git a/Microbenchmarks/Random-GUPS/run.sh b/Microbenchmarks/Random-GUPS/run.sh index 8c33392..f2fb7ff 100755 --- a/Microbenchmarks/Random-GUPS/run.sh +++ b/Microbenchmarks/Random-GUPS/run.sh @@ -1,5 +1,8 @@ #!/bin/bash +mkdir -p profile +set -e + for i in 1 do for j in 1 2 4 8 12 16 -- cgit v1.2.3