@@ -47,11 +47,11 @@ # set platform-dependent variables OS=`uname -s` case "$OS" in SunOS | Linux ) PS=":" ;; - Windows* ) + Windows* | CYGWIN* ) PS=";" ;; * ) echo "Unrecognized system!" exit 1 ;; esac