From 155971e08fb51a7e385d13c649a5651cf261f41b Mon Sep 17 00:00:00 2001 From: Peter Korsgaard Date: Tue, 4 Mar 2008 12:19:16 +0000 Subject: [PATCH] buildroot: add external-deps target Add external-deps target to show what external files are needed to recreate the build. --- Makefile | 5 +++++ toolchain/wget-show-external-deps.sh | 6 ++++++ 2 files changed, 11 insertions(+) create mode 100755 toolchain/wget-show-external-deps.sh diff --git a/Makefile b/Makefile index 5ebf75eaee..96436ef517 100644 --- a/Makefile +++ b/Makefile @@ -322,6 +322,10 @@ source: $(TARGETS_SOURCE) $(HOST_SOURCE) _source-check: $(MAKE) SPIDER=--spider source +external-deps: + @$(MAKE) -Bs BR2_WGET=$(TOPDIR)toolchain/wget-show-external-deps.sh \ + source + ############################################################# # # Cleanup and misc junk @@ -461,6 +465,7 @@ help: @echo 'Miscellaneous:' @echo ' source - download all sources needed for offline-build' @echo ' source-check - check all packages for valid download URLs' + @echo ' external-deps - list external packages used' @echo @echo 'See docs/README and docs/buildroot.html for further details' @echo diff --git a/toolchain/wget-show-external-deps.sh b/toolchain/wget-show-external-deps.sh new file mode 100755 index 0000000000..20071c05fc --- /dev/null +++ b/toolchain/wget-show-external-deps.sh @@ -0,0 +1,6 @@ +#!/bin/sh +# +# replacement for wget (see BR2_WGET) which simply shows the file name to be +# downloaded. Used by the external-deps make target. + +exec basename ${!#} \ No newline at end of file -- 2.30.2