From: Cláudio Maia <cl...@isep.ipp.pt> --- user/tools/tester.rst | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/user/tools/tester.rst b/user/tools/tester.rst index 32e1ca2..a95651e 100644 --- a/user/tools/tester.rst +++ b/user/tools/tester.rst @@ -586,6 +586,6 @@ review the available options by using the ``--help`` option: --trace : Trace the execution --warn-all : Generate warnings -.. note:: The list of options is growing according to the needs of each release. - Please see the available options for the release you are using for - more information. +.. note:: The list of options may be different for each release. For more + information, please see the available options for the release + you are using. -- 2.17.1 _______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel