diff options
| author | Ruben ten Hove <ruben.tenhove@tno.nl> | 2022-06-21 18:52:43 +0200 |
|---|---|---|
| committer | Ruben ten Hove <ruben.tenhove@tno.nl> | 2022-06-21 18:52:43 +0200 |
| commit | a5822c7c2fc34e52defe630b418db7f856bc4f89 (patch) | |
| tree | a4442e69afa4c27d952ddc77de0daa8939176722 /GNUmakefile.gcc_plugin | |
| parent | 01cb84051a9d4bfd33123902577f9310bb6c251d (diff) | |
| download | afl++-a5822c7c2fc34e52defe630b418db7f856bc4f89.tar.gz | |
various changes
Diffstat (limited to 'GNUmakefile.gcc_plugin')
| -rw-r--r-- | GNUmakefile.gcc_plugin | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/GNUmakefile.gcc_plugin b/GNUmakefile.gcc_plugin index e21203ae..5e651688 100644 --- a/GNUmakefile.gcc_plugin +++ b/GNUmakefile.gcc_plugin @@ -122,7 +122,7 @@ test_deps: # @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 ) + -@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'..." @test -f ./afl-showmap || ( echo "[-] Oops, can't find './afl-showmap'. Be sure to compile AFL first."; exit 1 ) @echo "[+] All set and ready to build." |