Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/lib/Tools/makedist_bundle
changeset 66908 9b074f01a305
parent 66906 03a96b8c7c06
child 67761 c07bc12d89f2 
--- a/Admin/lib/Tools/makedist_bundle	Mon Oct 23 20:21:36 2017 +0200
+++ b/Admin/lib/Tools/makedist_bundle	Mon Oct 23 20:43:04 2017 +0200
@@ -236,7 +236,6 @@
     ;;
   windows)
     purge_target 'contrib -name "x86*-linux" -o -name "x86*-darwin" -o -name "x86-cygwin"'
-    purge_target 'contrib/jdk -name "x86-windows"'
     purge_jdk "x86_64-windows"
 
     mv "$ISABELLE_TARGET/contrib/windows_app" "$TMP/."
isabelle