# HG changeset patch
# User wenzelm
# Date 1379329892 -7200
# Node ID 85ae414b0363edc76d5acba9060e0249e334a74d
# Parent  9e8714b4661a7c6f553e12958ac9332a2ee3bdf7
updated cygwin snapshot;

diff -r 9e8714b4661a -r 85ae414b0363 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Mon Sep 16 12:51:33 2013 +0200
+++ b/Admin/components/components.sha1	Mon Sep 16 13:11:32 2013 +0200
@@ -3,6 +3,7 @@
 cb3b0706d208f104b800267697204f6d82f7b48a  cygwin-20130114.tar.gz
 3b44cca04855016d5f8cfb5101b2e0579ab80197  cygwin-20130117.tar.gz
 1fde9ddf0fa4f398965113d0c0c4f0e97c78d008  cygwin-20130716.tar.gz
+a03735a53c2963eb0b453f6a7282d3419f28bf38  cygwin-20130916.tar.gz
 0fe549949a025d65d52d6deca30554de8fca3b6e  e-1.5.tar.gz
 2e293256a134eb8e5b1a283361b15eb812fbfbf1  e-1.6-1.tar.gz
 e1919e72416cbd7ac8de5455caba8901acc7b44d  e-1.6-2.tar.gz
diff -r 9e8714b4661a -r 85ae414b0363 Admin/lib/Tools/makedist_cygwin
--- a/Admin/lib/Tools/makedist_cygwin	Mon Sep 16 12:51:33 2013 +0200
+++ b/Admin/lib/Tools/makedist_cygwin	Mon Sep 16 13:11:32 2013 +0200
@@ -4,7 +4,7 @@
 
 ## global parameters
 
-CYGWIN_MIRROR="http://isabelle.in.tum.de/cygwin_2013"
+CYGWIN_MIRROR="http://isabelle.in.tum.de/cygwin_2013-1"
 
 
 ## diagnostics
@@ -43,7 +43,7 @@
 [ ! -e "$TARGET" ] || fail "Target already exists: \"$TARGET\""
 mkdir -p "$TARGET/isabelle" || fail "Failed to create target directory: \"$TARGET\""
 
-perl -MLWP::Simple -e "getprint '$CYGWIN_MIRROR/setup.exe';" > "$TARGET/isabelle/cygwin.exe"
+perl -MLWP::Simple -e "getprint '$CYGWIN_MIRROR/setup-x86.exe';" > "$TARGET/isabelle/cygwin.exe"
 chmod +x "$TARGET/isabelle/cygwin.exe"
 
 "$TARGET/isabelle/cygwin.exe" -h </dev/null >/dev/null || exit 2
@@ -55,7 +55,7 @@
   --site "$CYGWIN_MIRROR" --no-verify \
   --local-package-dir 'C:\temp' \
   --root "$(cygpath -w "$TARGET")" \
-  --packages libgmp3,make,perl,python,rlwrap,vim \
+  --packages libgmp3,perl,python,rlwrap,vim \
   --no-shortcuts --no-startmenu --no-desktop --quiet-mode
 
 [ "$?" = 0 -a -e "$TARGET/etc" ] || exit 2