add a '-d stats' flag for detailed timings

1) Add a system for recording detailed timing info of functions.
2) Add a -d flag for requesting debug info at runtime, with the
   above as the first user.

1 files changed, 1 insertions, 0 deletions

diff --git a/configure.py b/configure.py
index 8f4ec24..b8ff1f5 100755
--- a/configure.py
+++ b/configure.py
@@ -212,6 +212,7 @@ for name in ['build',
              'graph',
              'graphviz',
              'lexer',
+             'metrics',
              'parsers',
              'state',
              'util']: