diff options
author | John Tsichritzis <john.tsichritzis@arm.com> | 2018-10-05 12:02:29 +0100 |
---|---|---|
committer | John Tsichritzis <john.tsichritzis@arm.com> | 2018-10-10 12:11:32 +0100 |
commit | ea75ffd3e72d56f1d34b8b686b3b69e5f1d22acb (patch) | |
tree | 4761b95f81dca421750633c31ddd9bdf12219fff /docs | |
parent | a623832683e3dc26560d1334a6f7ab0a7b0bce29 (diff) |
docs: Clarify usage of LOG_LEVEL
Change-Id: I1ce771a155e6e83885a00d2f05591bf98cd69854
Signed-off-by: John Tsichritzis <john.tsichritzis@arm.com>
Diffstat (limited to 'docs')
-rw-r--r-- | docs/user-guide.rst | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/user-guide.rst b/docs/user-guide.rst index 2632329a..f4ef85d2 100644 --- a/docs/user-guide.rst +++ b/docs/user-guide.rst @@ -521,8 +521,8 @@ Common build options 40 (LOG_LEVEL_INFO) 50 (LOG_LEVEL_VERBOSE) - All log output up to and including the log level is compiled into the build. - The default value is 40 in debug builds and 20 in release builds. + All log output up to and including the selected log level is compiled into + the build. The default value is 40 in debug builds and 20 in release builds. - ``NON_TRUSTED_WORLD_KEY``: This option is used when ``GENERATE_COT=1``. It specifies the file that contains the Non-Trusted World private key in PEM |