proper perl;
authorwenzelm
Thu, 24 Jul 2014 17:13:26 +0200
changeset 57652 e7fe592ee089
parent 57651 10df45dd14da
child 57653 4b247a7586c9
proper perl;
Admin/lib/Tools/makedist
--- a/Admin/lib/Tools/makedist	Thu Jul 24 17:11:40 2014 +0200
+++ b/Admin/lib/Tools/makedist	Thu Jul 24 17:13:26 2014 +0200
@@ -157,8 +157,8 @@
 fi
 
 perl -pi \
-  -e "s,val is_identified = false,val is_identified = true,g" \
-  -e "s,val is_official = false,val is_official = ${IS_OFFICIAL},g" \
+  -e "s,val is_identified = false,val is_identified = true,g;" \
+  -e "s,val is_official = false,val is_official = ${IS_OFFICIAL},g;" \
   src/Pure/ROOT.ML src/Pure/ROOT.scala
 
 perl -pi -e "s,ISABELLE_ID=\"\",ISABELLE_ID=\"$IDENT\",g" lib/scripts/getsettings