diff options
| -rw-r--r-- | Makefile.adk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.adk b/Makefile.adk index 8414b8109..85df7e0b5 100644 --- a/Makefile.adk +++ b/Makefile.adk @@ -17,7 +17,7 @@ ifneq (${subdir},) ${MAKECMDGOALS}: _subdir _subdir: ${_subdir_dep} - @cd ${subdir} && ADK_TOPDIR=${ADK_TOPDIR} DEVELOPER=1 \ + cd ${subdir} && ADK_TOPDIR=${ADK_TOPDIR} DEVELOPER=1 ADK_VERBOSE=1 \ $(MAKE) ${MAKECMDGOALS} else |