diff options
| -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'..." |