diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2016-12-12 14:44:00 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-12-12 14:44:00 +0100 |
| commit | fb3b63b70e90c4811bc1b73b844587efa3cf76ad (patch) | |
| tree | d0b17393714cb0d279a804023184eeb5be5e0ac5 | |
| parent | df27b4deafa635faf9c032b80d7cd8defccd24bd (diff) | |
| parent | d536a20ed5d6ea17b871c42413cc34b96e44df43 (diff) | |
Merge pull request #103 from tjjh89017/patch-repro
Fix make repro failed
| -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 |