Slightly improve coverage for xbt/config.

[simgrid.git] / include / smpi / smpi_helpers.h

diff --git a/include/smpi/smpi_helpers.h b/include/smpi/smpi_helpers.h
index ef7492d9981bd23c1606cc4fb5b8ff6a7ac7c395..9760971ee0ba225f7779e0a344fdf5551d5df9ab 100644 (file)
--- a/include/smpi/smpi_helpers.h
+++ b/include/smpi/smpi_helpers.h
@@ -38,4 +38,7 @@
 #define realloc(x, y) smpi_shared_realloc_intercept((x), (y), __FILE__, __LINE__)
 #define free(x) smpi_shared_free(x)
 #endif
+
+#define exit(x) smpi_exit(x)
+
 #endif