more Cygwin packages to help out in a pitch -- NB: make is still needed for legacy usedir;
authorwenzelm
Fri, 11 Jan 2013 22:23:03 +0100
changeset 51853ad959a8b951e
parent 51852 db0012672241
child 51854 9cc70b273e90
more Cygwin packages to help out in a pitch -- NB: make is still needed for legacy usedir;
Admin/lib/Tools/makedist_cygwin
     1.1 --- a/Admin/lib/Tools/makedist_cygwin	Fri Jan 11 22:16:48 2013 +0100
     1.2 +++ b/Admin/lib/Tools/makedist_cygwin	Fri Jan 11 22:23:03 2013 +0100
     1.3 @@ -55,7 +55,7 @@
     1.4    --site "$CYGWIN_MIRROR" --no-verify \
     1.5    --local-package-dir 'C:\tmp' \
     1.6    --root "$(cygpath -w "$TARGET")" \
     1.7 -  --packages libgmp3,perl,python,rlwrap \
     1.8 +  --packages libgmp3,make,perl,python,rlwrap,vim \
     1.9    --no-shortcuts --no-startmenu --no-desktop --quiet-mode
    1.10  
    1.11  [ "$?" = 0 -a -e "$TARGET/etc" ] || exit 2