XBT_INFO("Basic testing posix");
status += test_parmap_basic(XBT_PARMAP_POSIX);
XBT_INFO("Basic testing futex");
-#ifdef HAVE_FUTEX_H
+#if HAVE_FUTEX_H
status += test_parmap_basic(XBT_PARMAP_FUTEX);
#endif
XBT_INFO("Basic testing busy wait");
XBT_INFO("Extended testing posix");
status += test_parmap_extended(XBT_PARMAP_POSIX);
XBT_INFO("Extended testing futex");
-#ifdef HAVE_FUTEX_H
+#if HAVE_FUTEX_H
status += test_parmap_extended(XBT_PARMAP_FUTEX);
#endif
XBT_INFO("Extended testing busy wait");