[MLton-commit] r6915

[Wesley Terpstra]

Newer cygwin's treat file names like "//foo/bar" as a network path. This is
trouble when we combine the volume "/" (cygwin virtual root) with a "/".


----------------------------------------------------------------------

U   mlton/trunk/basis-library/system/file-sys.sml

----------------------------------------------------------------------

Modified: mlton/trunk/basis-library/system/file-sys.sml
===================================================================
--- mlton/trunk/basis-library/system/file-sys.sml	2008-10-08 22:47:12 UTC (rev 6914)
+++ mlton/trunk/basis-library/system/file-sys.sml	2008-10-08 22:48:45 UTC (rev 6915)
@@ -83,7 +83,7 @@
                end
             (* If the volume is not empty, chDir to it rather than to "/" *)
             and gotoRoot (n, arcs, vol) =
-                (if vol <> "" 
+                (if vol <> "" andalso vol <> "/"
                     then chDir (vol ^ (if isMinGW then "\\" else "/"))
                  else chDir "/"
                  ; walkPath (n, [], arcs, vol))