summaryrefslogtreecommitdiff
path: root/tools/trace/doc/trace.txt
diff options
context:
space:
mode:
authorNélio Laranjeiro2009-05-15 20:45:04 +0200
committerNélio Laranjeiro2009-05-15 20:45:04 +0200
commit6966b30c7f8a1630c137d92e0af723139831f5fb (patch)
tree51ce2dc73d9c49900f5483a78694bfd44e483b06 /tools/trace/doc/trace.txt
parent5332309db23e5eb2bf902d899a1116a415b3439c (diff)
* tools/trace: (Closes #67)
* Document how to have the options available. * Improve options explanation.
Diffstat (limited to 'tools/trace/doc/trace.txt')
-rw-r--r--tools/trace/doc/trace.txt17
1 files changed, 1 insertions, 16 deletions
diff --git a/tools/trace/doc/trace.txt b/tools/trace/doc/trace.txt
index cd14826e..248cdf13 100644
--- a/tools/trace/doc/trace.txt
+++ b/tools/trace/doc/trace.txt
@@ -12,22 +12,7 @@ Use
The trace tool is divided in two parts, the one which generate the enumerator
and the one which interpret the memory data to print it on screen.
-To generate the enumerator
-~~~~~~~~~~~~~~~~~~~~~~~~~~
-
-python trace.py create [Options] <file in>
-
-Options:
-
- * -e <enum_id> : enumerator identifier for the source files.
- * -o <outfile> : The output file to write the enumerator.
-
-To interpret the memory data
-~~~~~~~~~~~~~~~~~~~~~~~~~~~~
-
-python trace.py inter <file in>
-
-The interpreted data is directly print on the std output.
+python trace.py -h to have all the possibilities.
Trace definition file
---------------------