diff options
author | Paul Beesley <paul.beesley@arm.com> | 2019-05-29 09:35:04 +0000 |
---|---|---|
committer | TrustedFirmware Code Review <review@review.trustedfirmware.org> | 2019-05-29 09:35:04 +0000 |
commit | 5a408104902fdcb03ea11266d948a0460174c8a7 (patch) | |
tree | 6d53ee50120195b8c0f1c5027cd847cf6dcfaf68 /Makefile | |
parent | bac571ac4dc31e5e5ea60e10e6fb7eef06bce3ed (diff) | |
parent | 7c23126c9105aeb7740658a1dfa1f93db624a224 (diff) |
Merge "Beautify "make help"" into integration
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -945,11 +945,13 @@ cscope: ${Q}cscope -b -q -k help: - @echo "usage: ${MAKE} PLAT=<${PLATFORM_LIST}> [OPTIONS] [TARGET]" + @echo "usage: ${MAKE} [PLAT=<platform>] [OPTIONS] [TARGET]" @echo "" @echo "PLAT is used to specify which platform you wish to build." @echo "If no platform is specified, PLAT defaults to: ${DEFAULT_PLAT}" @echo "" + @echo "platform = ${PLATFORM_LIST}" + @echo "" @echo "Please refer to the User Guide for a list of all supported options." @echo "Note that the build system doesn't track dependencies for build " @echo "options. Therefore, if any of the build options are changed " |