From 5939727b6606f5ec0186b7ac2a2766311edf41df Mon Sep 17 00:00:00 2001 From: David Carlier Date: Tue, 12 Nov 2019 09:26:59 +0000 Subject: A bit of user awareness --- gcc_plugin/README.gcc.md | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) (limited to 'gcc_plugin/README.gcc.md') diff --git a/gcc_plugin/README.gcc.md b/gcc_plugin/README.gcc.md index 676ef427..80fccfb6 100644 --- a/gcc_plugin/README.gcc.md +++ b/gcc_plugin/README.gcc.md @@ -46,9 +46,11 @@ should be all you need. On Debian machines, these headers can be acquired by installing the `gcc--plugin-dev` packages. To build the instrumentation itself, type 'make'. This will generate binaries -called afl-gcc-fast and afl-g++-fast in the parent directory. Once this -is done, you can instrument third-party code in a way similar to the standard -operating mode of AFL, e.g.: +called afl-gcc-fast and afl-g++-fast in the parent directory. +If the CC/CXX have been overridden, those compilers will be used from +those wrappers without using AFL_CXX/AFL_CC settings. +Once this is done, you can instrument third-party code in a way similar to the +standard operating mode of AFL, e.g.: CC=/path/to/afl/afl-gcc-fast ./configure [...options...] make -- cgit 1.4.1