commit af35e8eeca572f355ef423c0e20195f2cdc6fa53 parent 647d0baeb008f0b17d27786f1f91f6fee756d9b8 Author: Amin Mesbah <mesbahamin@gmail.com> Date: Tue, 24 Oct 2017 21:53:35 -0700 Use optimized binary for `make run` Diffstat:
M | Makefile | | | 2 | +- |
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Makefile b/Makefile @@ -42,7 +42,7 @@ prep: @mkdir -p $(DBGDIR) $(RELDIR) run: compile_release - ./$(DBGEXE) + ./$(RELEXE) todo: @grep -FIR --colour=never --ignore-case --line-number todo src/ \