opensubscriber
   Find in this group all groups
 
Unknown more information…

h : help-make@gnu.org 16 April 2012 • 2:40PM -0400

Re: make and remote dependencies
by Paul Wise

REPLY TO AUTHOR
 
REPLY TO GROUP




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/

Bookmark with:

Delicious   Digg   reddit   Facebook   StumbleUpon

Related Messages

opensubscriber is not affiliated with the authors of this message nor responsible for its content.