--- 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))
}
}