diff options
| author | van Hauser <vh@thc.org> | 2020-07-29 11:39:00 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-29 11:39:00 +0200 |
| commit | 4550613f58342632061944ef09add63240d774cc (patch) | |
| tree | 7896b5ec1f49b3ebe32d1466e85ea8f536ad599e /gcc_plugin | |
| parent | ff107714f1af1bd908a35ce54701da1eca8ce25d (diff) | |
| parent | 015fde3703c7b67ee65d74b0f4b7b68b5d1e4d7e (diff) | |
| download | afl++-4550613f58342632061944ef09add63240d774cc.tar.gz | |
Merge branch 'dev' into text_inputs
Diffstat (limited to 'gcc_plugin')
| -rw-r--r-- | gcc_plugin/GNUmakefile | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/gcc_plugin/GNUmakefile b/gcc_plugin/GNUmakefile index 002437cb..4a4f0dcd 100644 --- a/gcc_plugin/GNUmakefile +++ b/gcc_plugin/GNUmakefile @@ -70,11 +70,13 @@ ifeq "$(TEST_MMAP)" "1" endif ifneq "$(shell uname -s)" "Haiku" - LDFLAGS += -lrt + LDFLAGS += -lrt +else + CFLAGS_SAFE += -DUSEMMAP=1 endif ifeq "$(shell uname -s)" "SunOS" - PLUGIN_FLAGS += -I/usr/include/gmp + PLUGIN_FLAGS += -I/usr/include/gmp endif |