From ba321e5359638047eb1f0ce292d1f271291cfbc6 Mon Sep 17 00:00:00 2001
From: Jens Petersen <juhpetersen@gmail.com>
Date: Tue, 13 Dec 2016 11:54:18 +0900
Subject: [PATCH] build.sh: quieten builds with set +x

---
 automated/build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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