diff --git a/script/clear-target-dir-if-larger-than b/script/clear-target-dir-if-larger-than index b77b4cff0f3d2bf22756538a49e38e8a11c200ef..f5219dcc537178e50ea300aa3df3871ace9182a2 100755 --- a/script/clear-target-dir-if-larger-than +++ b/script/clear-target-dir-if-larger-than @@ -1,6 +1,6 @@ #!/usr/bin/env bash -set -eu +set -euxo pipefail if [[ $# -ne 1 ]]; then echo "usage: $0 "