Add a pointer to the script.

tibbe · Feb 17, 2010 · f54920e · f54920e
1 parent 157d0f1
commit f54920e
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/docs/os-configuration.txt b/docs/os-configuration.txt
@@ -1,3 +1,7 @@
+See benchmarks/benchmark_shell.py for a script that automates the
+setup and teardown of the various configuration options listed below.
+
+
 Increasing the maximum number of open files
 ===========================================