Add timing log option to configure.py

configure.py

@@ -1,5 +1,6 @@
 #!/usr/bin/env python3
 
+from argparse import ArgumentParser
 from glob import glob
 import io
 import os
@@ -8,6 +9,9 @@
 from vendor.ninja_syntax import Writer
 
 generate_tests()
+parser = ArgumentParser()
+parser.add_argument('--timing', action='store_true', help="Enables timing logs.")
+args = parser.parse_args()
 
 out_buf = io.StringIO()
 n = Writer(out_buf)
@@ -27,7 +31,7 @@
 n.newline()
 
 common_ccflags = [
-    '-DREVOLUTION',
+    '-DFEATURE_TIMING' if args.timing else '',
     '-fno-asynchronous-unwind-tables',
     '-fno-exceptions',
     '-fno-rtti',