diff options
-rw-r--r-- | Makefile | 2 | ||||
-rw-r--r-- | src/main.cpp | 1 |
2 files changed, 2 insertions, 1 deletions
@@ -26,6 +26,8 @@ else ifeq ($(DBGTPL),gdb) DBG := echo -e "r\nbt 12\nq" | gdb --args else ifeq ($(DBGTPL),valgrind) DBG := valgrind --leak-check=full --num-callers=35 +else ifeq ($(DBGTPL),time) + DBG := time else $(error "Unknown debug template") endif diff --git a/src/main.cpp b/src/main.cpp index 67083720..d8c47ff2 100644 --- a/src/main.cpp +++ b/src/main.cpp @@ -59,7 +59,6 @@ bool debug_enabled() else {
return true;
}
- //return g_cur_phase == "Lower MIR";
}
::std::ostream& debug_output(int indent, const char* function)
{
|