[mc] Replace the override word with MC_OVERRIDE

The compilers used by the CI infratrsucture do not handle this. In the
future, we might detect if the compiler grokes it and we might
conditionnaly use:

diff --git a/src/mc/mc_forward.h b/src/mc/mc_forward.h
index 2abc34a..725382b 100644 (file)
--- a/src/mc/mc_forward.h
+++ b/src/mc/mc_forward.h
@@ -12,6 +12,8 @@
 
 #ifdef __cplusplus
 
 
 #ifdef __cplusplus
 

+#define MC_OVERRIDE
+

 namespace simgrid {
 namespace mc {
 
 namespace simgrid {
 namespace mc {
 

diff --git a/src/mc/mc_process.h b/src/mc/mc_process.h
index d26ca5b..00251e4 100644 (file)
--- a/src/mc/mc_process.h
+++ b/src/mc/mc_process.h
@@ -69,7 +69,7 @@ public:
   // Read memory:
   const void* read_bytes(void* buffer, std::size_t size,
     remote_ptr<void> address, int process_index = ProcessIndexAny,
   // Read memory:
   const void* read_bytes(void* buffer, std::size_t size,
     remote_ptr<void> address, int process_index = ProcessIndexAny,

-    ReadMode mode = Normal) const override;
+    ReadMode mode = Normal) const MC_OVERRIDE;

   void read_variable(const char* name, void* target, size_t size) const;
   template<class T>
   T read_variable(const char *name) const
   void read_variable(const char* name, void* target, size_t size) const;
   template<class T>
   T read_variable(const char *name) const

diff --git a/src/mc/mc_snapshot.h b/src/mc/mc_snapshot.h
index c285ead..e56fee0 100644 (file)
--- a/src/mc/mc_snapshot.h
+++ b/src/mc/mc_snapshot.h
@@ -210,7 +210,7 @@ public:
   ~Snapshot();
   const void* read_bytes(void* buffer, std::size_t size,
     remote_ptr<void> address, int process_index = ProcessIndexAny,
   ~Snapshot();
   const void* read_bytes(void* buffer, std::size_t size,
     remote_ptr<void> address, int process_index = ProcessIndexAny,

-    ReadMode mode = Normal) const override;
+    ReadMode mode = Normal) const MC_OVERRIDE;

 public: // To be private
   mc_process_t process;
   int num_state;
 public: // To be private
   mc_process_t process;
   int num_state;