1 files changed, 25 insertions, 0 deletions
diff --git a/dist/wtperf_config.py b/dist/wtperf_config.py
new file mode 100644
index 00000000000..72256ed5527
--- /dev/null
+++ b/dist/wtperf_config.py
@@ -0,0 +1,25 @@
+# Output a doxgen version of the wtperf configuration options.
+import string, sys
+
+for line in sys.stdin:
+    if not line.startswith('OPTION '):
+        continue
+
+    line = line.replace('OPTION ', '')
+    v = line.split('",')
+    v[0] = v[0].replace('"', '').strip()
+    v[1] = v[1].replace('"', '').strip()
+    v[2] = v[2].replace('"', '').strip()
+    v[3] = v[3].replace('"', '').strip()
+
+    if v[3] == 'boolean':
+        if v[2] == '0':
+            d = 'false'
+        else:
+            d = 'true'
+    elif v[3] == 'string':
+        d = '"' + v[2] + '"'
+    else:
+        d = v[2]
+    print '@par ' + v[0] + ' (' + v[3] + ', default=' + d + ')'
+    print v[1]