ci golf, second shot

tools/ci-build

@@ -41,6 +41,10 @@ quote1 () {
 # be verbose
 set -x
 
+#########################################################################
+# Save the current directory (on cygwin, /etc/profile changes it)
+jenkinsdir="$(pwd)"
+
 #########################################################################
 # "Parse" mandatory command-line arguments.
 
@@ -86,7 +90,7 @@ makefile=Makefile
 configure=unix
 
 case "$branch" in
-  .) workdir=.
+  .) workdir="$jenkinsdir"
      docheckout=false
      ;;
   *) workdir="$HOME/jenkins-workspace/$branch"