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/Operational-Intensity/run.sh | 3 +++ 1 file changed, 3 insertions(+) (limited to 'Microbenchmarks/Operational-Intensity') diff --git a/Microbenchmarks/Operational-Intensity/run.sh b/Microbenchmarks/Operational-Intensity/run.sh index a540154..1708dae 100755 --- a/Microbenchmarks/Operational-Intensity/run.sh +++ b/Microbenchmarks/Operational-Intensity/run.sh @@ -1,5 +1,8 @@ #!/bin/bash +mkdir -p profile +set -e + for i in ADD SUB MUL DIV do for j in CHAR SHORT INT32 FLOAT INT64 DOUBLE -- cgit v1.2.3