@@ -32,11 +32,11 @@ case "$OS" in SunOS | Linux ) PS=":" FS="/" ;; - Windows* ) + Windows* | CYGWIN* ) PS=";" FS="\\" ;; * ) echo "Unrecognized system!"