commit 36b73a6887700ce05b5e6920e5c50b16d06cc60e
parent fdb0d406496d0ce7b8e001116d2f05077d80713a
Author: Hiltjo Posthuma <hiltjo@codemadness.org>
Date: Fri, 2 May 2014 17:18:38 +0000
dont try to fetch file if the downloaded file name exists
NOTE: in the future this needs to be adjusted, `basename $url` isn't
always useful for urls like: http://somesite.org/?download=1234 . We
probably need to add a variable similar to $src (in mkfile).
Signed-off-by: Hiltjo Posthuma <hiltjo@codemadness.org>
Diffstat:
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/mk.fetch b/mk.fetch
@@ -10,6 +10,8 @@ fetch-git:QV:
fetch-http:QV:
if test x"$url" != x""; then
- wget -c $url
+ if ! test -f `basename $url`; then
+ wget -c $url
+ fi
tar -xf `basename $url`
fi