diff --git a/dev/reformat b/dev/reformat index 4ff15837be..c6e3f99744 100755 --- a/dev/reformat +++ b/dev/reformat @@ -1,6 +1,7 @@ #!/bin/bash set -x +set -euo pipefail SCRIPT_DIR="$(dirname "$(realpath "$0")")" cd "$SCRIPT_DIR/.."