diff options
Diffstat (limited to '081run_interactive.cc')
-rw-r--r-- | 081run_interactive.cc | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/081run_interactive.cc b/081run_interactive.cc index d264aeb2..6d12e368 100644 --- a/081run_interactive.cc +++ b/081run_interactive.cc @@ -213,15 +213,3 @@ long long int warnings_from_trace() { assert(!out.str().empty()); return new_string(out.str()); } - -//:: debugging tool - -:(before "End Primitive Recipe Declarations") -_RUN_DEPTH, -:(before "End Primitive Recipe Numbers") -Recipe_ordinal["$run-depth"] = _RUN_DEPTH; -:(before "End Primitive Recipe Implementations") -case _RUN_DEPTH: { - cerr << Current_routine->calls.size(); - break; -} |