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"