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/Admin/component_polyml.scala
changeset 79499 d117821a5e82
parent 78775 e5b2574f6462
child 80224 db92e0b6a11a 
--- a/src/Pure/Admin/component_polyml.scala	Sat Jan 20 13:24:26 2024 +0100
+++ b/src/Pure/Admin/component_polyml.scala	Sat Jan 20 13:31:07 2024 +0100
@@ -62,7 +62,7 @@
       platform_info.getOrElse(platform.os_name,
         error("Bad OS platform: " + quote(platform.os_name)))
 
-    if (platform.is_linux) Isabelle_System.require_command("chrpath")
+    if (platform.is_linux) Isabelle_System.require_command("patchelf")
 
 
     /* bash */
isabelle