diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2017-06-13 16:10:35 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-06-13 16:10:35 +0200 |
| commit | 88ccde80d3ea11c2e00c98ba833824ec565edcc3 (patch) | |
| tree | 586bb66b2ed007d9d2c671ec1143060c10935dce /Makefile | |
| parent | b94b250a78e2149a922e506614f796cd27f2b70e (diff) | |
| parent | 3751542e1e442c798e456f11d49e48710d90a0eb (diff) | |
Merge pull request #224 from google/dvyukov-checkin-generated
sys: check in generated files
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -9,7 +9,6 @@ endif .PHONY: all format clean manager fuzzer executor execprog mutate prog2c stress extract generate repro all: - $(MAKE) generate go install ./syz-manager ./syz-fuzzer $(MAKE) manager $(MAKE) fuzzer |