help-make
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: make and remote dependencies


From: Paul Wise
Subject: Re: make and remote dependencies
Date: Mon, 16 Apr 2012 14:40:23 +0800

On Mon, 2012-04-16 at 02:09 -0400, Paul Smith wrote:

>         remote.c: FORCE
>               wget -O tmp -N http://people.debian.org/~pabs/tmp/remote.c || { 
> rm remote.c; exit 1; }
>               cmp tmp $@ || cp tmp $@
>               rm -f tmp
>         FORCE:;

Wow, I didn't know about the FORCE thing, thanks.

BTW, wget -O -N explicitly does not work. I've switched to curl due to
this issue.

-- 
bye,
pabs

http://bonedaddy.net/pabs3/

Attachment: signature.asc
Description: This is a digitally signed message part


reply via email to

[Prev in Thread] Current Thread [Next in Thread]