--- a/Admin/components/bundled-windows Sat Sep 30 11:41:35 2017 +0200
+++ b/Admin/components/bundled-windows Sat Sep 30 11:49:00 2017 +0200
@@ -1,3 +1,3 @@
#additional components to be bundled for release
-cygwin-20170828
+cygwin-20170930
windows_app-20150821
--- a/Admin/components/components.sha1 Sat Sep 30 11:41:35 2017 +0200
+++ b/Admin/components/components.sha1 Sat Sep 30 11:49:00 2017 +0200
@@ -34,6 +34,7 @@
dd56dd16d861fc6e1a008bf5e9da6f33ed6eb820 cygwin-20161022.tar.gz
d9ad7aae99d54e3b9813151712eb88a441613f04 cygwin-20161024.tar.gz
f8eb6a0f722e3cfe3775d1204c5c7063ee1f008e cygwin-20170828.tar.gz
+c22048912b010a5a0b4f2a3eb4d318d6953761e4 cygwin-20170930.tar.gz
0fe549949a025d65d52d6deca30554de8fca3b6e e-1.5.tar.gz
2e293256a134eb8e5b1a283361b15eb812fbfbf1 e-1.6-1.tar.gz
e1919e72416cbd7ac8de5455caba8901acc7b44d e-1.6-2.tar.gz
--- a/Admin/lib/Tools/makedist_bundle Sat Sep 30 11:41:35 2017 +0200
+++ b/Admin/lib/Tools/makedist_bundle Sat Sep 30 11:49:00 2017 +0200
@@ -244,7 +244,7 @@
"$ISABELLE_TARGET/src/Tools/jEdit/dist/properties/jEdit.props"
;;
windows)
- purge_target 'contrib -name "x86*-linux" -o -name "x86*-darwin"'
+ 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"