[mc] Give a real override if we know it's available

diff --git a/src/mc/mc_forward.hpp b/src/mc/mc_forward.hpp
index 9bb9813..932d333 100644 (file)
--- a/src/mc/mc_forward.hpp
+++ b/src/mc/mc_forward.hpp
@@ -12,7 +12,15 @@
 #ifndef SIMGRID_MC_FORWARD_HPP
 #define SIMGRID_MC_FORWARD_HPP
 
-#define MC_OVERRIDE
+#ifndef __has_feature
+  #define __has_feature(x) 0
+#endif
+
+#if __has_feature(cxx_override_control)
+  #define MC_OVERRIDE override
+#else
+  #define MC_OVERRIDE
+#endif
 
 namespace simgrid {
 namespace mc {