diff options
| author | Edznux <edznux@gmail.com> | 2020-10-04 16:03:15 +0200 |
|---|---|---|
| committer | Edznux <edznux@gmail.com> | 2020-10-04 16:03:15 +0200 |
| commit | 1e0bc2e5c3fff506bc8bdba9ba96530975c730f1 (patch) | |
| tree | 6cfe62b78d6d91482a1f4c240246e14458735856 /qemu_mode/patches/configure.diff | |
| parent | b0de6fed11d4a8de8f016f1d8db0cb19a6b96eb2 (diff) | |
| parent | 44c0dc6d961853806a07fa05b948686392ea93fc (diff) | |
| download | afl++-1e0bc2e5c3fff506bc8bdba9ba96530975c730f1.tar.gz | |
Merge remote-tracking branch 'origin/dev' into statsd_implem
Diffstat (limited to 'qemu_mode/patches/configure.diff')
| -rw-r--r-- | qemu_mode/patches/configure.diff | 33 |
1 files changed, 0 insertions, 33 deletions
diff --git a/qemu_mode/patches/configure.diff b/qemu_mode/patches/configure.diff deleted file mode 100644 index e265edae..00000000 --- a/qemu_mode/patches/configure.diff +++ /dev/null @@ -1,33 +0,0 @@ ---- a/configure 2019-08-02 18:04:50.000000000 +0200 -+++ b/configure 2020-02-28 06:31:30.424895061 +0100 -@@ -1479,6 +1479,8 @@ - ;; - --enable-capstone=system) capstone="system" - ;; -+ --enable-capstone=internal) capstone="internal" -+ ;; - --with-git=*) git="$optarg" - ;; - --enable-git-update) git_update=yes -@@ -4604,6 +4606,21 @@ - fi - - ########################################## -+cat > $TMPC << EOF -+#include <dlfcn.h> -+#include <stdlib.h> -+int main(int argc, char **argv) { return dlopen("libc.so", RTLD_NOW) != NULL; } -+EOF -+if compile_prog "" "" ; then -+ : -+elif compile_prog "" "-ldl" ; then -+ LIBS="-ldl $LIBS" -+ libs_qga="-ldl $libs_qga" -+else -+ error_exit "libdl check failed" -+fi -+ -+########################################## - # spice probe - if test "$spice" != "no" ; then - cat > $TMPC << EOF |