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"