From 837ed62b9ecf600fc2fdd26d36ce7ebf3dd7a118 Mon Sep 17 00:00:00 2001
From: Damien Doligez <damien.doligez-inria.fr>
Date: Thu, 5 Jun 2014 09:19:17 +0000
Subject: debugging the ci-build script

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14960 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
---
 tools/ci-build | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'tools')

diff --git a/tools/ci-build b/tools/ci-build
index 0a61b28f30..a57e516523 100755
--- a/tools/ci-build
+++ b/tools/ci-build
@@ -28,6 +28,11 @@ error () {
   exit 3
 }
 
+#########################################################################
+
+# 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).
@@ -51,11 +56,6 @@ case "$1" in
   *) error "unknown architecture: $1";;
 esac
 
-#########################################################################
-
-# be verbose and stop on error
-set -ex
-
 #########################################################################
 # set up variables
 
-- 
cgit v1.2.1