From 3c093d7534fc4cd13b8c83fecd62ce00a34e99c6 Mon Sep 17 00:00:00 2001
From: David Wragg <david@wragg.org>
Date: Tue, 3 Feb 2015 12:38:15 +0000
Subject: [PATCH] Make build.sh show its progress

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

diff --git a/tools/build.sh b/tools/build.sh
index f8919653..c1d51517 100644
--- a/tools/build.sh
+++ b/tools/build.sh
@@ -1,5 +1,5 @@
 #!/bin/sh
-set -e
+set -x -e
 
 apt-get -y update
 apt-get -y install curl make pkg-config gcc bison flex