From 1ab46674128a2b7ab864b4c3378a421337f20e23 Mon Sep 17 00:00:00 2001
From: Luca Boccassi <luca.boccassi@gmail.com>
Date: Sun, 16 Aug 2015 18:56:24 +0100
Subject: [PATCH] Set -x in ci_build.sh to show commands in log

---
 ci_build.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/ci_build.sh b/ci_build.sh
index 9c0aa923..b2ce28ee 100755
--- a/ci_build.sh
+++ b/ci_build.sh
@@ -1,5 +1,7 @@
 #!/usr/bin/env bash
 
+set -x
+
 if [ $BUILD_TYPE == "default" ]; then
     mkdir tmp
     BUILD_PREFIX=$PWD/tmp