1 files changed, 1 insertions, 0 deletions
diff --git a/020run.cc b/020run.cc
index 69829a00..29d57b02 100644
--- a/020run.cc
+++ b/020run.cc
@@ -151,6 +151,7 @@ if (argc > 1) {
     argc--;
   }
   transform_all();
+//?   dump_recipe("handle-keyboard-event"),  exit(0);
   if (Run_tests) Recipe.erase(Recipe_ordinal[string("main")]);
 }