summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorChristophe Grenier <grenier@cgsecurity.org>2020-09-11 13:02:54 +0200
committerChristophe Grenier <grenier@cgsecurity.org>2020-09-11 13:02:54 +0200
commit7cdc0ae265ec6b29db242c91bdab1bd6412fc633 (patch)
tree0a33ac5e76098c5f9cccb85c96ae634e4baf45f0
parent79e2b889daf9992e4ed2c08b572a1544d62ed119 (diff)
src/suspend_no.c: disable JPEG library when frama-c is used
-rw-r--r--src/suspend_no.c3
1 files changed, 3 insertions, 0 deletions
diff --git a/src/suspend_no.c b/src/suspend_no.c
index a5bdc30..4bc493c 100644
--- a/src/suspend_no.c
+++ b/src/suspend_no.c
@@ -2,6 +2,9 @@
#include <config.h>
#endif
+#ifdef __FRAMAC__
+#undef HAVE_LIBJPEG
+#endif
#if defined(HAVE_LIBJPEG) && defined(HAVE_JPEGLIB_H)
#include <stdio.h>