More ptrace portability in model checker.

[simgrid.git] / src / mc / Client.cpp

diff --git a/src/mc/Client.cpp b/src/mc/Client.cpp
index e2f389d..e712aff 100644 (file)
--- a/src/mc/Client.cpp
+++ b/src/mc/Client.cpp
@@ -73,7 +73,7 @@ Client* Client::initialize()
 #elif defined BSD
   ptrace(PT_TRACE_ME, 0, nullptr, 0);
 #else
 #elif defined BSD
   ptrace(PT_TRACE_ME, 0, nullptr, 0);
 #else

-# error "ptrace not declared on this platform"
+# error "no ptrace equivalent coded for this platform"

 #endif
   if(errno != 0 || raise(SIGSTOP) != 0)
     xbt_die("Could not wait for the model-checker");
 #endif
   if(errno != 0 || raise(SIGSTOP) != 0)
     xbt_die("Could not wait for the model-checker");