diff --git a/automated/build.sh b/automated/build.sh
index a145ac5b..9df389fb 100755
--- a/automated/build.sh
+++ b/automated/build.sh
@@ -1,6 +1,6 @@
 #!/usr/bin/env bash
 
-set -eux
+set -eu +x
 
 ROOT=$(cd $(dirname $0) ; pwd)
 TARGET=$1