diff options
-rwxr-xr-x | plugins/url_check/main | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/plugins/url_check/main b/plugins/url_check/main index 09d437a26..e2692c4db 100755 --- a/plugins/url_check/main +++ b/plugins/url_check/main @@ -219,6 +219,13 @@ create_url_list(){ echo "creating list of download URLS for `echo $PACKAGES | wc -w` packages" targets=`for target in $PACKAGES; do echo print-${target}_URL; done | sort -u` $PTXDIST make -i ${targets} 2>> $TMPDIR/errors > $TMPDIR/urllist + if [ `cat "$TMPDIR/urllist" | wc -l` = "0" ]; then + echo "Fast listing failed. This may take a while!" + for target in $PACKAGES; do + $PTXDIST print ${target}_URL 2>> $TMPDIR/errors | sed -e 's/ */\n/' >> $TMPDIR/urllist + echo -n "." + done + fi echo "done" } |