summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorDamien Doligez <damien.doligez-inria.fr>2014-06-05 09:19:17 +0000
committerDamien Doligez <damien.doligez-inria.fr>2014-06-05 09:19:17 +0000
commit837ed62b9ecf600fc2fdd26d36ce7ebf3dd7a118 (patch)
tree9642a75d75e5622125e34d437b41b2194daa9daf /tools
parent3946f479724cf9dd255235820e094e7f1eb12f15 (diff)
downloadocaml-837ed62b9ecf600fc2fdd26d36ce7ebf3dd7a118.tar.gz
debugging the ci-build script
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14960 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'tools')
-rwxr-xr-xtools/ci-build10
1 files changed, 5 insertions, 5 deletions
diff --git a/tools/ci-build b/tools/ci-build
index 0a61b28f30..a57e516523 100755
--- a/tools/ci-build
+++ b/tools/ci-build
@@ -29,6 +29,11 @@ error () {
}
#########################################################################
+
+# be verbose and stop on error
+set -ex
+
+#########################################################################
# If we are called from a Windows batch script, we must set up the
# Unix environment variables (e.g. PATH).
@@ -52,11 +57,6 @@ case "$1" in
esac
#########################################################################
-
-# be verbose and stop on error
-set -ex
-
-#########################################################################
# set up variables
# default values