# HG changeset patch
# User wenzelm
# Date 1625775440 -7200
# Node ID 714c267bb6fa5d3c13aeb75408576a92578667bf
# Parent  731ab64bae972a6296c4544149322ae544b880ea
more robust;

diff -r 731ab64bae97 -r 714c267bb6fa src/Tools/Setup/isabelle/setup/Build.java
--- a/src/Tools/Setup/isabelle/setup/Build.java	Thu Jul 08 22:07:08 2021 +0200
+++ b/src/Tools/Setup/isabelle/setup/Build.java	Thu Jul 08 22:17:20 2021 +0200
@@ -175,6 +175,7 @@
     public static void create_jar(Path dir, String main, Path jar)
         throws IOException
     {
+        Files.createDirectories(dir.resolve(jar).getParent());
         Files.deleteIfExists(jar);
 
         Manifest manifest = new Manifest();