# HG changeset patch
# User wenzelm
# Date 1655304910 -7200
# Node ID 5bba3516ddb5fa32d24879825c978ce785821623
# Parent  e7e2285cf800fb50844868dd19884b099f1ef9db
more robust: always override ISABELLE_IDENTIFIER from environment;

diff -r e7e2285cf800 -r 5bba3516ddb5 src/Pure/System/isabelle_system.scala
--- 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"))