# HG changeset patch
# User wenzelm
# Date 1739366803 -3600
# Node ID 143ff9527bac9c858502cb5e3fdbac90fa34d539
# Parent  5b8639cb0d119a1067e34e506f1186ba0c4ee3de
tuned;

diff -r 5b8639cb0d11 -r 143ff9527bac src/Pure/Admin/build_release.scala
--- a/src/Pure/Admin/build_release.scala	Wed Feb 12 13:32:04 2025 +0100
+++ b/src/Pure/Admin/build_release.scala	Wed Feb 12 14:26:43 2025 +0100
@@ -636,10 +636,8 @@
           val classpath2 = Path.split(other_isabelle.getenv("ISABELLE_SETUP_CLASSPATH"))
           (classpath1 ::: classpath2).map { path =>
             val abs_path = path.absolute
-            File.relative_path(base, abs_path) match {
-              case Some(rel_path) => rel_path
-              case None => error("Bad classpath element: " + abs_path)
-            }
+            File.relative_path(base, abs_path)
+              .getOrElse(error("Bad classpath element: " + abs_path))
           }
         }