diff options
| author | Derf Null <derf@finalrewind.org> | 2023-04-24 15:54:04 +0200 |
|---|---|---|
| committer | Derf Null <derf@finalrewind.org> | 2023-04-24 15:54:04 +0200 |
| commit | dcd1740432acc7f08dffb26b801089b81646400c (patch) | |
| tree | 6a4b36c306c959df751b7c5c800e756c7efb38d4 /Microbenchmarks/WRAM | |
| parent | 8404f453f7312d5eabc0d0434c38c0549705f571 (diff) | |
microbenchmarks: create "profile" directory if it does not exist; set -e
Diffstat (limited to 'Microbenchmarks/WRAM')
| -rwxr-xr-x | Microbenchmarks/WRAM/run.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Microbenchmarks/WRAM/run.sh b/Microbenchmarks/WRAM/run.sh index 12fca6e..163d47c 100755 --- a/Microbenchmarks/WRAM/run.sh +++ b/Microbenchmarks/WRAM/run.sh @@ -1,5 +1,8 @@ #!/bin/bash +mkdir -p profile +set -e + # WRAM for i in streaming random do |