diff options
Diffstat (limited to 'GNUmakefile.gcc_plugin')
| -rw-r--r-- | GNUmakefile.gcc_plugin | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/GNUmakefile.gcc_plugin b/GNUmakefile.gcc_plugin index e3108511..d139387a 100644 --- a/GNUmakefile.gcc_plugin +++ b/GNUmakefile.gcc_plugin @@ -146,7 +146,6 @@ all_done: test_build .NOTPARALLEL: clean -vpath % .. %.8: % @echo .TH $* 8 `date "+%Y-%m-%d"` "afl++" > ./$@ @echo .SH NAME >> ./$@ |