Index: /issm/trunk-jpl/jenkins/execute_shell
===================================================================
--- /issm/trunk-jpl/jenkins/execute_shell	(revision 16933)
+++ /issm/trunk-jpl/jenkins/execute_shell	(revision 16934)
@@ -4,6 +4,6 @@
 export ISSM_DIR="$WORKSPACE"
 
-#which configuration are we using? 
-case $Platform in 
+#which configuration are we using?
+case $Platform in
 	master )
 		configfile=linux64_murdo ;;
@@ -12,4 +12,8 @@
 	larsen )
 		configfile=linux64_larsen ;;
+	windows )
+		configfile=windows
+		export PATH=/cygdrive/c/Cygwin/usr/bin:/cygdrive/c/Cygwin/bin:$PATH ;;
+
 esac