src/Pure/System/isabelle_tool.scala
changeset 64304 96bc94c87a81
parent 64161 2b1128e95dfb
child 64311 3d5e7719e878
     1.1 --- a/src/Pure/System/isabelle_tool.scala	Tue Oct 18 15:31:08 2016 +0200
     1.2 +++ b/src/Pure/System/isabelle_tool.scala	Tue Oct 18 16:03:30 2016 +0200
     1.3 @@ -89,7 +89,7 @@
     1.4          (args: List[String]) =>
     1.5            {
     1.6              val tool = dir + Path.basic(name)
     1.7 -            val result = Isabelle_System.bash(File.bash_path(tool) + " " + File.bash_args(args))
     1.8 +            val result = Isabelle_System.bash(File.bash_path(tool) + " " + Bash.strings(args))
     1.9              sys.exit(result.print_stdout.rc)
    1.10            }
    1.11      })