# HG changeset patch # User wenzelm # Date 1619082723 -7200 # Node ID 07a8ea094eb3f187b4b7444c0e453da83cf32181 # Parent e9e60be9928ecd944d45099eb45c3c838979b37a tuned comments; diff -r e9e60be9928e -r 07a8ea094eb3 src/Pure/System/isabelle_system.scala --- a/src/Pure/System/isabelle_system.scala Thu Apr 22 10:55:31 2021 +0200 +++ b/src/Pure/System/isabelle_system.scala Thu Apr 22 11:12:03 2021 +0200 @@ -466,7 +466,11 @@ redirect: Boolean = false): Process = { val proc = new ProcessBuilder - proc.command(command_line.asJava) // fragile on Windows + + // fragile on Windows: + // see https://docs.microsoft.com/en-us/cpp/cpp/main-function-command-line-args?view=msvc-160 + proc.command(command_line.asJava) + if (cwd != null) proc.directory(cwd) if (env != null) { proc.environment.clear()