diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2015-10-04 16:25:20 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2015-10-04 16:25:20 -0700 |
commit | 926e1b049b818840b26fcff8395305307afabceb (patch) | |
tree | cdf11112f252a9ebb6cdbd78ec49c0bbb3698697 /020run.cc | |
parent | b1cf3bc92d1e29a5711aaf8f6498f0106e4b222a (diff) | |
download | mu-926e1b049b818840b26fcff8395305307afabceb.tar.gz |
2238 - dump recipes after tangling
Diffstat (limited to '020run.cc')
-rw-r--r-- | 020run.cc | 1 |
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")]); } |