diff options
| author | hexcoder- <heiko@hexco.de> | 2019-11-12 23:02:56 +0100 |
|---|---|---|
| committer | hexcoder- <heiko@hexco.de> | 2019-11-12 23:02:56 +0100 |
| commit | d51719fbd9aaa5b61bfdca8dbd4c0ed992033654 (patch) | |
| tree | d7e4f2f5812e74893668cc1acb57811742f55918 | |
| parent | 1392a6dba79c908f8836ccd520627720ed28fd8e (diff) | |
| download | afl++-d51719fbd9aaa5b61bfdca8dbd4c0ed992033654.tar.gz | |
better do not rely on config info from gcc
| -rw-r--r-- | gcc_plugin/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc_plugin/Makefile b/gcc_plugin/Makefile index be54e553..c7d9796b 100644 --- a/gcc_plugin/Makefile +++ b/gcc_plugin/Makefile @@ -71,8 +71,8 @@ endif test_deps: @echo "[*] Checking for working '$(CC)'..." @which $(CC) >/dev/null 2>&1 || ( echo "[-] Oops, can't find '$(CC)'. Make sure that it's in your \$$PATH (or set \$$CC and \$$CXX)."; exit 1 ) - @echo "[*] Checking for gcc for plugin support..." - @$(CC) -v 2>&1 | grep -q -- --enable-plugin || ( echo "[-] Oops, this gcc has not been configured with plugin support."; exit 1 ) +# @echo "[*] Checking for gcc for plugin support..." +# @$(CC) -v 2>&1 | grep -q -- --enable-plugin || ( echo "[-] Oops, this gcc has not been configured with plugin support."; exit 1 ) @echo "[*] Checking for gcc plugin development header files..." @test -d `$(CC) -print-file-name=plugin`/include || ( echo "[-] Oops, can't find gcc header files. Be sure to install 'gcc-X-plugin-dev'."; exit 1 ) @echo "[*] Checking for '../afl-showmap'..." |