# HG changeset patch
# User wenzelm
# Date 1506764940 -7200
# Node ID 5223317b8c5627840f7ee60c8b990cd9563a0492
# Parent  c37c4f0db878628374a1d2dbc774e65b64d66a74
updated to x86_64-cygwin;

diff -r c37c4f0db878 -r 5223317b8c56 Admin/components/bundled-windows
--- 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
diff -r c37c4f0db878 -r 5223317b8c56 Admin/components/components.sha1
--- 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
diff -r c37c4f0db878 -r 5223317b8c56 Admin/lib/Tools/makedist_bundle
--- 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"