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 cb7242f..b82c061 100755 --- a/aux/ci/report.sh +++ b/aux/ci/report.sh @@ -1,5 +1,5 @@ #!/bin/sh -set -eux +set -eu PROJECT_UC="$1" |