use syn_otp.cmd to clean up werldir
diff --git a/bin/jenkins.cmd b/bin/jenkins.cmd
index 2881809..65ac593 100755
--- a/bin/jenkins.cmd
+++ b/bin/jenkins.cmd
@@ -17,7 +17,7 @@
:: a pristine copy of erlang artefacts is stored in WERL_SRC
:: cleans out any old build artefacts
-if not defined WERL_SRC set WERL_SRC=c:\werl
+if not defined WERL_SRC set WERL_SRC=c:\relax\werl
if not defined WERL_DIR set WERL_DIR=c:\jenkins\workspace\werl
robocopy %WERL_SRC% %WERL_DIR% -mir -log:NUL: -r:0 -w:0
@@ -45,4 +45,4 @@
:: and relax
:: output when all is well, ends up in /etc/windows/ for better or for worse!
-xz
\ No newline at end of file
+xz
diff --git a/bin/sync_otp.cmd b/bin/sync_otp.cmd
index 7da2aa1..76abf78 100755
--- a/bin/sync_otp.cmd
+++ b/bin/sync_otp.cmd
@@ -1,2 +1,3 @@
-robocopy c:\relax\release\otp_src_R14B03 c:\relax\otp_src_R14B03 -mir -log:NUL:
-robocopy c:\relax\release\otp_src_R14B04 c:\relax\otp_src_R14B04 -mir -log:NUL:
+if not defined WERL_SRC set WERL_SRC=c:\relax\werl
+if not defined WERL_DIR set WERL_DIR=c:\jenkins\workspace\werl
+robocopy %WERL_SRC% %WERL_DIR% -mir -log:NUL: -r:0 -w:0