# HG changeset patch # User Pascal Bellard # Date 1239122396 0 # Node ID d88dec86b2ec8bba56941e8a39d185c901293020 # Parent d1849a20216920108ab42aa607d9440a5a5ad5b0 tazwok check: spurious wrong WEB_SITE diff -r d1849a202169 -r d88dec86b2ec tazwok --- a/tazwok Tue Apr 07 08:37:14 2009 +0000 +++ b/tazwok Tue Apr 07 16:39:56 2009 +0000 @@ -831,8 +831,7 @@ *) echo "Package $PACKAGE has an invalid WGET_URL";; esac case "$WEB_SITE" in - ftp*|http*) wget -s $WEB_SITE 2> /dev/null || - echo "Package $PACKAGE has a wrong WEB_SITE";; + ftp*|http*);; '') echo "Package $PACKAGE has no WEB_SITE";; *) echo "Package $PACKAGE has an invalid WEB_SITE";; esac