updated to x86_64-cygwin;
authorwenzelm
Sat Sep 30 11:49:00 2017 +0200 (18 months ago)
changeset 667265223317b8c56
parent 66725 c37c4f0db878
child 66727 56b92ce30d87
updated to x86_64-cygwin;
Admin/components/bundled-windows
Admin/components/components.sha1
Admin/lib/Tools/makedist_bundle
     1.1 --- a/Admin/components/bundled-windows	Sat Sep 30 11:41:35 2017 +0200
     1.2 +++ b/Admin/components/bundled-windows	Sat Sep 30 11:49:00 2017 +0200
     1.3 @@ -1,3 +1,3 @@
     1.4  #additional components to be bundled for release
     1.5 -cygwin-20170828
     1.6 +cygwin-20170930
     1.7  windows_app-20150821
     2.1 --- a/Admin/components/components.sha1	Sat Sep 30 11:41:35 2017 +0200
     2.2 +++ b/Admin/components/components.sha1	Sat Sep 30 11:49:00 2017 +0200
     2.3 @@ -34,6 +34,7 @@
     2.4  dd56dd16d861fc6e1a008bf5e9da6f33ed6eb820  cygwin-20161022.tar.gz
     2.5  d9ad7aae99d54e3b9813151712eb88a441613f04  cygwin-20161024.tar.gz
     2.6  f8eb6a0f722e3cfe3775d1204c5c7063ee1f008e  cygwin-20170828.tar.gz
     2.7 +c22048912b010a5a0b4f2a3eb4d318d6953761e4  cygwin-20170930.tar.gz
     2.8  0fe549949a025d65d52d6deca30554de8fca3b6e  e-1.5.tar.gz
     2.9  2e293256a134eb8e5b1a283361b15eb812fbfbf1  e-1.6-1.tar.gz
    2.10  e1919e72416cbd7ac8de5455caba8901acc7b44d  e-1.6-2.tar.gz
     3.1 --- a/Admin/lib/Tools/makedist_bundle	Sat Sep 30 11:41:35 2017 +0200
     3.2 +++ b/Admin/lib/Tools/makedist_bundle	Sat Sep 30 11:49:00 2017 +0200
     3.3 @@ -244,7 +244,7 @@
     3.4        "$ISABELLE_TARGET/src/Tools/jEdit/dist/properties/jEdit.props"
     3.5      ;;
     3.6    windows)
     3.7 -    purge_target 'contrib -name "x86*-linux" -o -name "x86*-darwin"'
     3.8 +    purge_target 'contrib -name "x86*-linux" -o -name "x86*-darwin" -o -name "x86-cygwin"'
     3.9      purge_target 'contrib/jdk -name "x86-windows"'
    3.10      purge_jdk "x86_64-windows"
    3.11