# 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()