[beast: 14/20] BUILD: Makefile.decl: print extra-gitdist enter/leave directory for V=1

[Tim Janik <timj src gnome org>]

commit 0106f901bced0401d46282b17a8a78dcaaba23bb
Author: Tim Janik <timj gnu org>
Date:   Sun Jun 18 23:43:40 2017 +0200

    BUILD: Makefile.decl: print extra-gitdist enter/leave directory for V=1
    
    Signed-off-by: Tim Janik <timj gnu org>

 Makefile.decl |    3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)
---
diff --git a/Makefile.decl b/Makefile.decl
index 788a244..e1431df 100644
--- a/Makefile.decl
+++ b/Makefile.decl
@@ -34,7 +34,8 @@ extra-gitdist:
        $(Q) test -w "$(EXTRA_GITDIST_DIR)" || { echo '$@: missing EXTRA_GITDIST_DIR' >&2; false; }
        @for subdir in $(SUBDIRS) ; do                                          \
          test "$$subdir" = '.' ||                                              \
-           $(MAKE) $(AM_MAKEFLAGS) -C "$$subdir" --no-print-directory $@ ||    \
+           $(MAKE) $(AM_MAKEFLAGS) -C "$$subdir"                               \
+               $(if $(findstring 1, $(V)),, --no-print-directory) $@ ||        \
            exit 1 ;                                                            \
        done
        $(Q) for file in $(EXTRA_DIST) ; do                                     \