# HG changeset patch
# User wenzelm
# Date 1668205524 -3600
# Node ID b01b0014c3f92f88769aa05136f6db67d4a5bbec
# Parent  ecb9e6d2969872743622ec9f419cc21f680ebf69
proper support for Windows;

diff -r ecb9e6d29698 -r b01b0014c3f9 src/Pure/General/js.scala
--- a/src/Pure/General/js.scala	Fri Nov 11 23:04:55 2022 +0100
+++ b/src/Pure/General/js.scala	Fri Nov 11 23:25:24 2022 +0100
@@ -35,5 +35,5 @@
     string(File.standard_path(p) + (if (dir) "/" else ""))
 
   def platform_path(p: Path, dir: Boolean = false): Source =
-    string(File.platform_path(p) + (if (dir) File.platform_path(Path.root) else ""))
+    string(File.platform_path(p) + (if (dir) "/" else ""))
 }