diff options
Diffstat (limited to 'docs/user-guide.rst')
-rw-r--r-- | docs/user-guide.rst | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/docs/user-guide.rst b/docs/user-guide.rst index 397b4c2c9..e11a6bfa0 100644 --- a/docs/user-guide.rst +++ b/docs/user-guide.rst @@ -367,11 +367,6 @@ TFTF build options session was interrupted and resume it. It can take either 1 (always start new session) or 0 (resume session as appropriate). 1 is the default. -- ``SHELL_COLOR``: Choose whether text messages should use shell's color escape - sequences to ease identifying which CPU displays it. If enabled, this makes - each CPU write part of the message in a different color. It can take either - 0 (disabled) or 1 (enabled) as values. 0 is the default. - - ``TESTS``: Set of tests to run. Use the following command to list all possible sets of tests: |