From 3e44aeb929c894e15dca48db95a32a3d41afa73e Mon Sep 17 00:00:00 2001 From: "Denis V. Dedkov" Date: Sun, 15 Jun 2014 17:34:11 +0600 Subject: [PATCH] Makefile was fixed --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 6f7ec3c..767841e 100644 --- a/Makefile +++ b/Makefile @@ -8,7 +8,7 @@ all: for T in $(TARGETS); do \ $(GC) $$T ; \ for D in $(DEFECTS) ; do \ - echo $$D ; \ + $(COMMAND) $$D ; \ done ; \ $(GM) ; \ done ; \ No newline at end of file