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_verit.scala
changeset 80004 31ebb6be32b0
parent 77570 98b4a9902582
child 80049 b525f783b784 
--- a/src/Pure/Admin/component_verit.scala	Tue Mar 26 11:32:16 2024 +0100
+++ b/src/Pure/Admin/component_verit.scala	Tue Mar 26 11:45:49 2024 +0100
@@ -49,7 +49,7 @@
       val platform_name =
         proper_string(Isabelle_System.getenv("ISABELLE_WINDOWS_PLATFORM64")) orElse
         proper_string(Isabelle_System.getenv("ISABELLE_PLATFORM64")) getOrElse
-        error("No 64bit platform")
+        error("Missing ISABELLE_PLATFORM64")
 
       val platform_dir =
         Isabelle_System.make_directory(component_dir.path + Path.basic(platform_name))
isabelle