From 310d052771666b55c35aa76408529a614dd680b6 Mon Sep 17 00:00:00 2001 From: Mark Wooding Date: Mon, 27 Apr 2020 01:20:20 +0100 Subject: [PATCH] bin/bdl: Add to the collection. Had this lying around for aaages. --- Makefile | 1 + bin/bdl | 15 +++++++++++++++ 2 files changed, 16 insertions(+) create mode 100755 bin/bdl diff --git a/Makefile b/Makefile index e192950..d9c3c72 100644 --- a/Makefile +++ b/Makefile @@ -223,6 +223,7 @@ SCRIPTLINKS += mdw-conf SCRIPTLINKS += svnwrap SCRIPTLINKS += guest-console SCRIPTLINKS += hyperspec +SCRIPTLINKS += bdl SCRIPTLINKS += datasyms SCRIPTLINKS += fixsub SCRIPTLINKS += check-debsyms diff --git a/bin/bdl b/bin/bdl new file mode 100755 index 0000000..f5fcba5 --- /dev/null +++ b/bin/bdl @@ -0,0 +1,15 @@ +#! /usr/bin/make -f + +## Silent-rules machinery. +V = 0 +V_CURL_0 = @echo " CURL $@"; + +## Separator. +S = / + +## Main rule. +%:; $(V_CURL_$V)curl -fsL -o$@.new $A "$B$S$*" && mv $@.new $@ + +## Help summary. +help:; @echo "bdl [-j NPROC] [A=ARGS] B=BASE [S=SEP] URL..." +.PHONY: help -- 2.11.0