summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorDamien Doligez <damien.doligez-inria.fr>2014-05-12 14:46:59 +0000
committerDamien Doligez <damien.doligez-inria.fr>2014-05-12 14:46:59 +0000
commit5d7864a8d4d5f2bd6bf6b81c991c56ab53342e47 (patch)
treece53cec9ea7f603d21d5ca6adb1215033799bdf0 /tools
parent6d688eadc195fdfcfd9fcf95cb4f3b80c8adef19 (diff)
downloadocaml-5d7864a8d4d5f2bd6bf6b81c991c56ab53342e47.tar.gz
ci-build: do not change directory for Unix slaves
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14803 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'tools')
-rwxr-xr-xtools/ci-build4
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/ci-build b/tools/ci-build
index 8c08bf0ef5..e813bd98a1 100755
--- a/tools/ci-build
+++ b/tools/ci-build
@@ -16,7 +16,7 @@
# arguments:
# 1. architecture: bsd, macos, linux, cygwin, mingw, mingw64, msvc, msvc64
-# 2. which branch to build (trunk, 4.02, etc)
+# 2. for windows, directory in which to build (trunk, 4.02, etc)
# 3. options:
# -conf configure-option
@@ -73,7 +73,7 @@ done
# default values
make=make
instdir="$HOME/ocaml-tmp-install"
-workdir="$HOME/workspace/$branch"
+workdir=.
checkout=false
nt=