From cef50242df928dc3e8bf83cb6c4b145d4926baeb Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Fri, 8 Mar 2019 12:20:08 -0800 Subject: [PATCH] Add --dumptasks to documentation Signed-off-by: Clifford Wolf --- docs/source/reference.rst | 3 +++ 1 file changed, 3 insertions(+) diff --git a/docs/source/reference.rst b/docs/source/reference.rst index 0b6988d..dc5f336 100644 --- a/docs/source/reference.rst +++ b/docs/source/reference.rst @@ -104,6 +104,9 @@ combinations of some host implementations A and B and device implementations X a The ``[tasks]`` section must appear in the ``.sby`` file before the first ``:`` or ``~:`` tag. +The command ``sby --dumptasks `` prints the list of all tasks defined in +a given ``.sby`` file. + Options section --------------- -- 2.30.2