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
Mon, 06 Feb 2023 16:26:40 +0100
changeset 77217 e5ec449b4839
parent 77216 ee7dc5151db5
child 77218 86217697863c
tuned signature;
src/Pure/System/executable.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/System/executable.scala	Mon Feb 06 16:21:25 2023 +0100
+++ b/src/Pure/System/executable.scala	Mon Feb 06 16:26:40 2023 +0100
@@ -20,7 +20,7 @@
     val ldd_lines = {
       val ldd = if (Platform.is_macos) "otool -L" else "ldd"
       val script = mingw.bash_script(ldd + " " + File.bash_path(exe))
-      Library.split_lines(Isabelle_System.bash(script, cwd = exe_dir.file).check.out)
+      split_lines(Isabelle_System.bash(script, cwd = exe_dir.file).check.out)
     }
 
     def lib_name(lib: String): String =
isabelle