improve jenkins job handling
diff --git a/bin/jenkins.cmd b/bin/jenkins.cmd
index 34e015e..2881809 100755
--- a/bin/jenkins.cmd
+++ b/bin/jenkins.cmd
@@ -1,4 +1,7 @@
@echo off
+:: This script must run with elevated (admin/uac) permissions for the
+:: cp -p stage in couchdb autotools script to complete successfully.
+
:: tell other glazier scripts to run automated
:: builds instead of usual interactive mode
set BUILD_WITH_JENKINS=1
@@ -21,12 +24,25 @@
:: expect crash and burn for the moment
:: this allows you to run the jenkins build interactively TODO HACKHACKHACK
-if not defined WORKSPACE set WORKSPACE=c:\jenkins\workspace\Apache-CouchDB-Windows-master\label\Windows-8-x64\
+if not defined WORKSPACE set WORKSPACE=c:\jenkins\workspace\Apache-CouchDB-Windows\
-:: This script must run with elevated (admin/uac) permissions for the
-:: cp -p stage in couchdb autotools script to complete successfully.
+echo ============= JENKINS CONFIG ===============
+echo Working Directory:
+cd
+set BUILD
+set GIT
+set JENKINS_HOME
+set JENKINS_URL
+set JOB
+set NODE
+set OTP
+set PATH
+set WERL
+set WORKSPACE
+echo ============= JENKINS CONFIG ===============
call c:\relax\bin\shell.cmd
:: and relax
:: output when all is well, ends up in /etc/windows/ for better or for worse!
+xz
\ No newline at end of file
diff --git a/bin/shell.cmd b/bin/shell.cmd
index 2be5d38..eb42938 100755
--- a/bin/shell.cmd
+++ b/bin/shell.cmd
@@ -98,7 +98,6 @@
:unix_shell
color
title Building in %ERL_TOP% with OTP %OTP_REL% and Erlang v%ERTS_VSN%
-pushd %WERL%\
for /f "usebackq" %%i in (`c:\cygwin\bin\cygpath.exe %WERL_DIR%`) do @set WERL_PATH=%%i
set ERL_TOP=%WERL_PATH%/otp_src_%OTP_REL%
c:\cygwin\bin\bash %relax%\bin\shell.sh
diff --git a/bin/shell.sh b/bin/shell.sh
index 200be8d..a3647e1 100755
--- a/bin/shell.sh
+++ b/bin/shell.sh
@@ -72,7 +72,6 @@
# ensure we have an ERL_TOP to go to
mkdir -p $ERL_TOP > /dev/null 2>&1
-pushd $ERL_TOP
# this shouldn't change anything really
### eval `./otp_build env_win32`
@@ -88,9 +87,10 @@
echo Time to Relax.
if [ -z "$BUILD_WITH_JENKINS" ] ; then
+ pushd $ERL_TOP
bash -i
else
- cd $WORKSPACE
+ echo Working directory is: `pwd`
git clean -fdx
git reset --hard
./bootstrap