summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorDamien Doligez <damien.doligez-inria.fr>2014-06-05 09:57:20 +0000
committerDamien Doligez <damien.doligez-inria.fr>2014-06-05 09:57:20 +0000
commitd1b1fbee667b5ce1c3b466d438418d4e9ff45e81 (patch)
treec4cd65fc129792c4021d5b884c1f31f37a42302a /tools
parent499092e0ba382647a16e38cff87523e00fc52e66 (diff)
downloadocaml-d1b1fbee667b5ce1c3b466d438418d4e9ff45e81.tar.gz
still debugging the ci-build script (take 3)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14962 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'tools')
-rwxr-xr-xtools/ci-build17
1 files changed, 10 insertions, 7 deletions
diff --git a/tools/ci-build b/tools/ci-build
index b10490d010..4bb2593eb6 100755
--- a/tools/ci-build
+++ b/tools/ci-build
@@ -29,15 +29,21 @@ error () {
}
#########################################################################
-
# be verbose
set -x
#########################################################################
+# "Parse" mandatory command-line arguments.
+
+arch="$1"
+branch="$2"
+shift 2
+
+#########################################################################
# If we are called from a Windows batch script, we must set up the
# Unix environment variables (e.g. PATH).
-case "$1" in
+case "$arch" in
bsd|macos|linux) ;;
cygwin|mingw|mingw64)
. /etc/profile
@@ -53,7 +59,7 @@ case "$1" in
. "$HOME/.profile"
. "$HOME/.msenv64"
;;
- *) error "unknown architecture: $1";;
+ *) error "unknown architecture: $arch";;
esac
#########################################################################
@@ -114,13 +120,10 @@ esac
cd "$workdir"
#########################################################################
-# parse command line (has to be done after the "cd")
+# parse optional command-line arguments (has to be done after the "cd")
# Configure options are not allowed to have spaces or special characters
# for the moment. We'll fix that when needed.
-arch="$1"
-branch="$2"
confoptions=""
-shift 2
while [ $# -gt 0 ]; do
case $1 in
-conf) confoptions="$confoptions $2"; shift 2;;