diff options
Diffstat (limited to 'gcc/cppfiles.c')
| -rw-r--r-- | gcc/cppfiles.c | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/gcc/cppfiles.c b/gcc/cppfiles.c index dda7ac2..9e35d0f 100644 --- a/gcc/cppfiles.c +++ b/gcc/cppfiles.c @@ -31,7 +31,11 @@ Foundation, 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */ #include "mkdeps.h" #include "splay-tree.h" #ifdef ENABLE_VALGRIND_CHECKING -#include <valgrind.h> +# ifdef HAVE_MEMCHECK_H +# include <memcheck.h> +# else +# include <valgrind.h> +# endif #else /* Avoid #ifdef:s when we can help it. */ #define VALGRIND_DISCARD(x) |