Index: /issm/trunk-jpl/etc/environment.sh
===================================================================
--- /issm/trunk-jpl/etc/environment.sh	(revision 16916)
+++ /issm/trunk-jpl/etc/environment.sh	(revision 16917)
@@ -3,10 +3,20 @@
 pathprepend(){ #{{{
 	if [ -d "$1" ] && [[ ":$PATH:" != *":$1:"* ]]; then
-		export PATH="$1:$PATH"
+		name=$1
+		if [[ "$ISSM_ARCH" == "cygwin-intel" ]]; then
+			#export path using the cygwin convention
+			name=`cygpath -u $1`
+		fi
+		export PATH="$name:$PATH"
 	fi
 } #}}}
 pathappend(){ #{{{
 	if [ -d "$1" ] && [[ ":$PATH:" != *":$1:"* ]]; then
-		export PATH="$PATH:$1"
+		name=$1
+		if [[ "$ISSM_ARCH" == "cygwin-intel" ]]; then
+			#export path in cygwin convention
+			name=`cygpath -u $1`
+		fi
+		export PATH="$PATH:$name"
 	fi
 } #}}}