2 ## fetch a file from the web via well-known anonymous protocols such as HTTP.
4 ## $(1) = output filename
7 FETCH = $(FETCH.$(FETCH.select))
10 FETCH.MISSING = $(error one of the following tools is required: wget, curl)
11 FETCH.curl = $(CURL.exe) -q -L -o $(1) $(2)
12 FETCH.wget = $(WGET.exe) -O $(1) $(2)