From 20681024a58b073e60f923e0aaf48788e1dd13f7 Mon Sep 17 00:00:00 2001
From: Lassi Kortela <lassi@lassi.io>
Date: Fri, 14 Feb 2020 21:08:56 +0200
Subject: [PATCH] Make build output less chatty

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

diff --git a/scripts/build.sh b/scripts/build.sh
index 587cefa..4e59fe5 100755
--- a/scripts/build.sh
+++ b/scripts/build.sh
@@ -88,7 +88,6 @@ builddate="$(date -u '+%Y-%m-%d')"
 builddir="build-$os-$(uname -m | tr A-Z- a-z_)-$(basename "$CC")"
 cd "$(dirname "$0")"/..
 echo "Entering directory '$PWD'"
-set -x
 
 pre_cflags="$(echo "$CC" "$CFLAGS" | tr ' ' '\n' | sed -e 's/^/"/' -e 's/$/",/')"
 pre_lflags="$(echo "$CC" "$LFLAGS" | tr ' ' '\n' | sed -e 's/^/"/' -e 's/$/",/')"
@@ -97,6 +96,7 @@ git_branch="$(git rev-parse --abbrev-ref HEAD 2>/dev/null || true)"
 git_commit="$(git rev-parse --short HEAD 2>/dev/null || true)"
 git_modified="$(git diff-files --name-only 2>/dev/null | head | xargs -n 1 printf '"%s",\n')"
 
+set -x
 cat >c/env_build.c <<EOF
 // Generated from scratch at each build.
 const char *env_build_c_compile[] = {