Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/System/isabelle_tool.scala
changeset 64304 96bc94c87a81
parent 64161 2b1128e95dfb
child 64311 3d5e7719e878 
--- a/src/Pure/System/isabelle_tool.scala	Tue Oct 18 15:31:08 2016 +0200
+++ b/src/Pure/System/isabelle_tool.scala	Tue Oct 18 16:03:30 2016 +0200
@@ -89,7 +89,7 @@
         (args: List[String]) =>
           {
             val tool = dir + Path.basic(name)
-            val result = Isabelle_System.bash(File.bash_path(tool) + " " + File.bash_args(args))
+            val result = Isabelle_System.bash(File.bash_path(tool) + " " + Bash.strings(args))
             sys.exit(result.print_stdout.rc)
           }
     })
isabelle