Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
more robust;
authorwenzelm
Thu, 08 Jul 2021 22:17:20 +0200
changeset 73949 714c267bb6fa
parent 73948 731ab64bae97
child 73950 cc49da3003aa
more robust;
src/Tools/Setup/isabelle/setup/Build.java file | annotate | diff | comparison | revisions 
--- 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();
isabelle