# HG changeset patch
# User wenzelm
# Date 1609867274 -3600
# Node ID abaff6fb0ff29e64382931daee2de0be9f58e00b
# Parent  4b620e1cb1e94185e581012ecdaa8e28e46e2e8a
clarified quotes;

diff -r 4b620e1cb1e9 -r abaff6fb0ff2 src/Pure/Admin/build_release.scala
--- a/src/Pure/Admin/build_release.scala	Tue Jan 05 17:40:51 2021 +0100
+++ b/src/Pure/Admin/build_release.scala	Tue Jan 05 18:21:14 2021 +0100
@@ -273,7 +273,7 @@
 
 exec "$ISABELLE_HOME/contrib/""" + jdk_component + """/x86_64-linux/jre/bin/java" \
   "-Disabelle.root=$ISABELLE_HOME" "${JAVA_OPTIONS[@]}" \
-  -classpath """" + classpath.map("$ISABELLE_HOME/" + _).mkString(":") + """" \
+  -classpath """" + classpath.map(p => "$ISABELLE_HOME/" + p.implode).mkString(":") + """" \
   "-splash:$ISABELLE_HOME/lib/logo/isabelle.gif" \
   isabelle.Main "$@"
 """