commit 418056f4707eaf7857dc104e276cb89c5da26fbd
parent 7da5b967f0f215fe5183027861ae0f099d65d312
Author: amin <dev@aminmesbah.com>
Date: Wed, 25 Oct 2017 04:53:35 +0000
Use optimized binary for `make run`
FossilOrigin-Name: 5d5d9e7c8d78dc917f3fe5e2806f024024c3ec9bc24f577365c60657e83ffc71
Diffstat:
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/ \