summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorDamien Doligez <damien.doligez-inria.fr>2015-08-18 13:27:38 +0000
committerDamien Doligez <damien.doligez-inria.fr>2015-08-18 13:27:38 +0000
commit2b809f3d7dde03f15c73caa3846b4a218777e310 (patch)
tree8925c34be3c3b2818ca5f1ef5e0c19fa2410013e /tools
parent6437506bfe5c84c00d3ea518c294d09ecb4d91d4 (diff)
downloadocaml-2b809f3d7dde03f15c73caa3846b4a218777e310.tar.gz
fix universal CI build script for Unix
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16360 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'tools')
-rwxr-xr-xtools/ci-build9
1 files changed, 7 insertions, 2 deletions
diff --git a/tools/ci-build b/tools/ci-build
index c4466ce70a..1d5af1d42e 100755
--- a/tools/ci-build
+++ b/tools/ci-build
@@ -81,8 +81,12 @@ case "$arch" in
bsd)
make=gmake
;;
- macos) ;;
- linux) ;;
+ macos)
+ workdir=.
+ ;;
+ linux)
+ workdir=.
+ ;;
cygwin)
workdir="$HOME/jenkins-workspace/$branch"
docheckout=true
@@ -117,6 +121,7 @@ esac
#########################################################################
# Go to the right directory
+pwd
cd "$workdir"
#########################################################################