misc/performance: Fix --no-cpp2 and --no-stats options

They broke in an unsuccessful cherry-pick (0827d070) as noted in #503.

(cherry picked from commit 0948fb13f07c756b8e056efdec46560e0faf37d1)

diff --git a/misc/performance b/misc/performance
index 0283933fbadb50d80587863d1c734536fdae5770..d33ad646f5c87d3d83992530d0aacfee48a80c1e 100755 (executable)
--- a/misc/performance
+++ b/misc/performance
@@ -285,10 +285,10 @@ def main(argv):
         type="int",
     )
     op.add_option(
-        "--nocpp2", help="compile preprocessed output", action="store_true"
+        "--no-cpp2", help="compile preprocessed output", action="store_true"
     )
     op.add_option(
-        "--nostats", help="don't write statistics", action="store_true"
+        "--no-stats", help="don't write statistics", action="store_true"
     )
     op.add_option(
         "-n",