wok diff mingw32-gcc/receipt @ rev 14337

Add EXTRA_SOURCE_FILES variable to track sources files for the mirrors
author Pascal Bellard <pascal.bellard@slitaz.org>
date Sat Apr 13 19:32:46 2013 +0200 (2013-04-13)
parents 4c16797dce28
children ed5dd1053ab1
line diff
     1.1 --- a/mingw32-gcc/receipt	Tue Jun 12 18:52:42 2012 +0200
     1.2 +++ b/mingw32-gcc/receipt	Sat Apr 13 19:32:46 2013 +0200
     1.3 @@ -13,6 +13,7 @@
     1.4  mingw32-w32api mingw32-runtime"
     1.5  PROVIDE="mingw32-gcc-c"
     1.6  TARBALL="$SOURCE-$VERSION-src.tar.gz"
     1.7 +EXTRA_SOURCE_FILES="gcc-g++-$VERSION-src.tar.gz gcc-ada-$VERSION-src.tar.gz"
     1.8  WEB_SITE="http://www.mingw.org/"
     1.9  MINGW32_URL="$SF_MIRROR/mingw"
    1.10  WGET_URL="$MINGW32_URL/$TARBALL"
    1.11 @@ -33,7 +34,7 @@
    1.12  	fi
    1.13  
    1.14  	ln -s . gcc-$VERSION
    1.15 -	for tgz in gcc-g++-$VERSION-src.tar.gz gcc-ada-$VERSION-src.tar.gz; do
    1.16 +	for tgz in $EXTRA_SOURCE_FILES; do
    1.17  		[ -s $SOURCES_REPOSITORY/$tgz ] ||
    1.18  			wget -P $SOURCES_REPOSITORY $MINGW32_URL/$tgz
    1.19  		[ -s $SOURCES_REPOSITORY/$tgz ] &&