diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/Makefile | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tools/Makefile b/tools/Makefile index 6915ea7a05..247f55776f 100644 --- a/tools/Makefile +++ b/tools/Makefile @@ -110,6 +110,11 @@ tools-y += flock $(curdir)/builddirs := $(tools-y) $(tools-dep) $(tools-) $(curdir)/builddirs-default := $(tools-y) +ifdef CHECK_ALL +$(curdir)/builddirs-check:=$($(curdir)/builddirs) +$(curdir)/builddirs-download:=$($(curdir)/builddirs) +endif + ifndef DUMP_TARGET_DB define PrepareStaging @for dir in $(1); do ( \ |