Re: make and remote dependencies

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/


_______________________________________________
Help-make mailing list
Help-make@...
https://lists.gnu.org/mailman/listinfo/help-make