diff --git a/tools/ci-build b/tools/ci-build
index c4466ce70..1d5af1d42 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"
 
 #########################################################################