diff options
Diffstat (limited to 'aux/ci/report.sh')
| -rwxr-xr-x | aux/ci/report.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/aux/ci/report.sh b/aux/ci/report.sh index b82c061..cb7242f 100755 --- a/aux/ci/report.sh +++ b/aux/ci/report.sh @@ -1,5 +1,5 @@ #!/bin/sh -set -eu +set -eux PROJECT_UC="$1" |