aboutsummaryrefslogtreecommitdiff
path: root/docs/user-guide.rst
diff options
context:
space:
mode:
Diffstat (limited to 'docs/user-guide.rst')
-rw-r--r--docs/user-guide.rst5
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: