diff options
Diffstat (limited to 'make/include/select.defs')
| -rw-r--r-- | make/include/select.defs | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/make/include/select.defs b/make/include/select.defs new file mode 100644 index 000000000..32a652523 --- /dev/null +++ b/make/include/select.defs @@ -0,0 +1,12 @@ +## +## fetch a file from the web via well-known anonymous protocols such as HTTP. +## +## $(1) = output filename +## $(2) = URL +## +FETCH = $(FETCH.$(FETCH.select)) + +FETCH.select = MISSING +FETCH.MISSING = $(error one of the following tools is required: wget, curl) +FETCH.curl = $(CURL.exe) -q -L -o $(1) $(2) +FETCH.wget = $(WGET.exe) -O $(1) $(2) |