From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Sun, 13 Sep 2020 14:42:43 +0000 (+0200)
Subject: docs/Build.sh: get verbose to see what's failing on CI
X-Git-Tag: v3.26~437
X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/e2e8fe5601125b3c81e3eb51b5cea86ad51fbb66

docs/Build.sh: get verbose to see what's failing on CI
---

diff --git a/docs/Build.sh b/docs/Build.sh
index afdaab3e73..b057c009d2 100755
--- a/docs/Build.sh
+++ b/docs/Build.sh
@@ -7,7 +7,7 @@
 # Python needs to find simgrid on my machine, but not ctest -- sorry for the hack
 if [ -e /opt/simgrid ] ; then chmod +x /opt/simgrid; fi
 
-set -e
+set -ex
 set -o pipefail
 
 if [ "x$1" != 'xdoxy' ] && [ -e build/xml ] ; then