diff options
Diffstat (limited to 'Makefile.adk')
-rw-r--r-- | Makefile.adk | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Makefile.adk b/Makefile.adk index 0938316ba..df0d98d4c 100644 --- a/Makefile.adk +++ b/Makefile.adk @@ -180,5 +180,9 @@ dep: world: @${GMAKE_INV} world + +info: + @${GMAKE_INV} info + endif # DO NOT DELETE |