X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=configure.ac;h=4859d654476625f6da53ab8cd14f8eb63349d1ed;hb=92bfefccd465052e492f669ce561aa25b0110283;hp=69ac564b509133b0b7e13004cebe6dcd9bd76d54;hpb=1aaf5919aa5709fa6cfa710652143635a68bdbfb;p=pspp-builds.git

diff --git a/configure.ac b/configure.ac
index 69ac564b..4859d654 100644
--- a/configure.ac
+++ b/configure.ac
@@ -58,7 +58,8 @@ fi
 
 dnl Checks for header files.
 AC_CHECK_HEADERS([limits.h memory.h sys/stat.h sys/time.h sys/types.h \
-                  fpu_control.h sys/mman.h sys/wait.h ieeefp.h fenv.h])
+                  fpu_control.h sys/mman.h sys/wait.h ieeefp.h fenv.h \
+		  valgrind/valgrind.h])
 AC_HEADER_STAT
 AC_HEADER_STDC
 AC_HEADER_TIME