diff options
| author | Date Huang <tjjh89017@hotmail.com> | 2016-12-12 19:19:09 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-12-12 19:19:09 +0800 |
| commit | d536a20ed5d6ea17b871c42413cc34b96e44df43 (patch) | |
| tree | d0b17393714cb0d279a804023184eeb5be5e0ac5 /Makefile | |
| parent | df27b4deafa635faf9c032b80d7cd8defccd24bd (diff) | |
Fix make report failed
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -6,7 +6,7 @@ ifeq ($(NOSTATIC), 0) STATIC_FLAG=-static endif -.PHONY: all format clean manager fuzzer executor execprog mutate prog2c stress extract generate +.PHONY: all format clean manager fuzzer executor execprog mutate prog2c stress extract generate repro all: $(MAKE) generate |