diff options
Diffstat (limited to 'tools/Makefile')
| -rw-r--r-- | tools/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/Makefile b/tools/Makefile index c3596b7591..80c2d11628 100644 --- a/tools/Makefile +++ b/tools/Makefile @@ -65,7 +65,7 @@ $(curdir)/builddirs-default := $(tools-y) ifndef DUMP_TARGET_DB define PrepareStaging @for dir in $(1); do ( \ - set -x; \ + $(if $(QUIET),,set -x;) \ mkdir -p "$$dir"; \ cd "$$dir"; \ mkdir -p bin lib include stamp; \ |