summaryrefslogtreecommitdiff
path: root/docs
diff options
context:
space:
mode:
authordanh-arm <dan.handley@arm.com>2017-05-24 14:20:20 +0100
committerGitHub <noreply@github.com>2017-05-24 14:20:20 +0100
commite715e676e36eda6ef23469b63adb14a98ccce3e0 (patch)
tree9d9b740e84f4fed8fee0f60251298feeb2d6744a /docs
parentc1de3fdd32ff1848286fbe642a15f148f6bbf9a3 (diff)
parent232c6b34b5d2147be8765ced7b827ee5b1c1bcb5 (diff)
Merge pull request #938 from masahir0y/tools_share
Collect headers shared between TF and host-tools into include/tools_share
Diffstat (limited to 'docs')
-rw-r--r--docs/user-guide.md6
1 files changed, 5 insertions, 1 deletions
diff --git a/docs/user-guide.md b/docs/user-guide.md
index 2379298e..85ece930 100644
--- a/docs/user-guide.md
+++ b/docs/user-guide.md
@@ -914,7 +914,11 @@ section), but it can also be built separately with the following command:
make PLAT=<platform> [DEBUG=1] [V=1] certtool
-Specifying the platform is mandatory since the tool is platform specific.
+For platforms that do not require their own IDs in certificate files,
+the generic 'cert_create' tool can be built with the following command:
+
+ make USE_TBBR_DEFS=1 [DEBUG=1] [V=1] certtool
+
`DEBUG=1` builds the tool in debug mode. `V=1` makes the build process more
verbose. The following command should be used to obtain help about the tool: