summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorCarlos Martín Nieto <cmn@dwim.me>2016-10-05 18:52:43 +0200
committerCarlos Martín Nieto <cmn@dwim.me>2016-10-05 18:52:43 +0200
commit94d565b957bebf8a131cd4130f93eed98a20d008 (patch)
tree202d0b54b573b27207afa0549bd4a112d31bf483
parent9fbbb0eec5fc46cc9c36abf25b9baf653eb12372 (diff)
downloadlibgit2-94d565b957bebf8a131cd4130f93eed98a20d008.tar.gz
cibuild: set -x
This lets us see the details of what we're doing instead of just seeing the output of unknown commands in the build output.
-rwxr-xr-xscript/cibuild.sh2
1 files changed, 2 insertions, 0 deletions
diff --git a/script/cibuild.sh b/script/cibuild.sh
index 979eb0ce4..0ec295198 100755
--- a/script/cibuild.sh
+++ b/script/cibuild.sh
@@ -1,5 +1,7 @@
#!/bin/sh
+set -x
+
if [ -n "$COVERITY" ];
then
./script/coverity.sh;