@@ -46,6 +46,7 @@
#undef STARPU_HAVE_XBT_SYNCHRO_H
#undef STARPU_HAVE_VALGRIND_H
#undef STARPU_HAVE_MEMCHECK_H
+#undef STARPU_VALGRIND_FULL
#undef STARPU_SANITIZE_LEAK
#undef STARPU_NON_BLOCKING_DRIVERS