# HG changeset patch
# User wenzelm
# Date 1658912409 -7200
# Node ID 8faeea36eb9954f6b4b4684154f838d93ecda7e7
# Parent  97e8f4c938bfba348473cf3dbe9a79cd747d88c2
mor robust;

diff -r 97e8f4c938bf -r 8faeea36eb99 src/Pure/System/classpath.scala
--- a/src/Pure/System/classpath.scala	Wed Jul 27 09:27:40 2022 +0200
+++ b/src/Pure/System/classpath.scala	Wed Jul 27 11:00:09 2022 +0200
@@ -26,7 +26,7 @@
       for {
         s <- space_explode(JFile.pathSeparatorChar, System.getProperty("java.class.path", ""))
         if s.nonEmpty
-      } yield new JFile(s)
+      } yield File.absolute(new JFile(s))
 
     val jar_files1 =
       jar_files.flatMap(start => File.find_files(start, _.getName.endsWith(".jar")))