diff options
| author | hexcoder- <heiko@hexco.de> | 2020-09-18 09:02:43 +0200 |
|---|---|---|
| committer | hexcoder- <heiko@hexco.de> | 2020-09-18 09:02:43 +0200 |
| commit | 9eed8fe58895fd4a20aa7b5f180b1bfaebf42cd7 (patch) | |
| tree | 0db810b88feb7381058eae3eab13a72ddc4a4611 /GNUmakefile.gcc_plugin | |
| parent | 5241d1221b7bccd7f63f872653e597f33948423a (diff) | |
| download | afl++-9eed8fe58895fd4a20aa7b5f180b1bfaebf42cd7.tar.gz | |
portability: type -> command -v, compiler warnings
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 fe2dc266..55b79182 100644 --- a/GNUmakefile.gcc_plugin +++ b/GNUmakefile.gcc_plugin @@ -103,7 +103,7 @@ endif .PHONY: test_deps test_deps: @echo "[*] Checking for working '$(CC)'..." - @type $(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 ) + @command -v $(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 plugin development header files..." |