src/suspend_no.c: disable JPEG library when frama-c is used
This commit is contained in:
parent
79e2b889da
commit
7cdc0ae265
1 changed files with 3 additions and 0 deletions
|
@ -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>
|
||||
|
|
Loading…
Reference in a new issue