Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned signature;
authorwenzelm
Thu, 22 Apr 2021 10:55:31 +0200
changeset 73596 e9e60be9928e
parent 73595 aece5cc9efb7
child 73597 07a8ea094eb3
tuned signature;
src/Pure/System/isabelle_system.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/System/isabelle_system.scala	Thu Apr 22 10:11:11 2021 +0200
+++ b/src/Pure/System/isabelle_system.scala	Thu Apr 22 10:55:31 2021 +0200
@@ -13,6 +13,7 @@
   StandardCopyOption, FileSystemException}
 import java.nio.file.attribute.BasicFileAttributes
 
+import scala.jdk.CollectionConverters._
 
 
 object Isabelle_System
@@ -465,7 +466,7 @@
     redirect: Boolean = false): Process =
   {
     val proc = new ProcessBuilder
-    proc.command(command_line:_*)  // fragile on Windows
+    proc.command(command_line.asJava)  // fragile on Windows
     if (cwd != null) proc.directory(cwd)
     if (env != null) {
       proc.environment.clear()
isabelle