diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2010-03-26 16:56:05 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2010-03-26 16:56:05 +0200 |
commit | eb11d614956030dd153c8199a9a173ffd17ddc97 (patch) | |
tree | 69b1c73b77f7e59b4e036021941b20d553a3315a /odb/options.cli | |
parent | 161efedd3ddca75c1cd3ad7f8592653c5070614e (diff) |
Disable tracing by default
Provide an option to enable it.
Diffstat (limited to 'odb/options.cli')
-rw-r--r-- | odb/options.cli | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/odb/options.cli b/odb/options.cli index bda8f1c..3b15fb2 100644 --- a/odb/options.cli +++ b/odb/options.cli @@ -15,6 +15,10 @@ class options bool --help {"Print usage information and exit."}; bool --version {"Print version and exit."}; + // + // Plugin options. + // + bool --trace {"Trace the compilation process."}; // This is a "fake" option in that it is actually handled by // argv_file_scanner. We have it here to get the documentation. |