Skip to content

Commit

Permalink
benchmark script: minor tweak
Browse files Browse the repository at this point in the history
  • Loading branch information
derhuerst committed Nov 4, 2024
1 parent fc0b8d2 commit e53aeec
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion benchmark/init.sh
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
#!/bin/bash

set -e
set -Eeu
set -o pipefail
cd "$(dirname "$0")"
set -x
Expand Down

0 comments on commit e53aeec

Please sign in to comment.