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.
more robust: always override ISABELLE_IDENTIFIER from environment;
authorwenzelm
Wed, 15 Jun 2022 16:55:10 +0200
changeset 75563 5bba3516ddb5
parent 75562 e7e2285cf800
child 75564 d32201f08e98
child 75565 65a2482f772d
more robust: always override ISABELLE_IDENTIFIER from environment;
src/Pure/System/isabelle_system.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/System/isabelle_system.scala	Wed Jun 15 13:37:35 2022 +0200
+++ b/src/Pure/System/isabelle_system.scala	Wed Jun 15 16:55:10 2022 +0200
@@ -122,8 +122,7 @@
     }
 
   def export_isabelle_identifier(isabelle_identifier: String): String =
-    if (isabelle_identifier == "") ""
-    else "export ISABELLE_IDENTIFIER=" + Bash.string(isabelle_identifier) + "\n"
+    "export ISABELLE_IDENTIFIER=" + Bash.string(isabelle_identifier) + "\n"
 
   def isabelle_identifier(): Option[String] = proper_string(getenv("ISABELLE_IDENTIFIER"))
isabelle