diff options
Diffstat (limited to 'Microbenchmarks/WRAM/run.sh')
| -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 |