X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/9692d43fa911bdc2d6d0263a3cb3e22d5e3167fe..b04c56f57e40cf69d1b3fd0982ebaf2bbf27df40:/src/mc/Client.cpp

diff --git a/src/mc/Client.cpp b/src/mc/Client.cpp
index 7d326ff873..e2f389d046 100644
--- a/src/mc/Client.cpp
+++ b/src/mc/Client.cpp
@@ -67,7 +67,15 @@ Client* Client::initialize()
   client_ = std::unique_ptr<Client>(new simgrid::mc::Client(fd));
 
   // Wait for the model-checker:
-  if (ptrace(PTRACE_TRACEME, 0, nullptr, nullptr) == -1 || raise(SIGSTOP) != 0)
+  errno = 0;
+#if defined __linux__
+  ptrace(PTRACE_TRACEME, 0, nullptr, nullptr);
+#elif defined BSD
+  ptrace(PT_TRACE_ME, 0, nullptr, 0);
+#else
+# error "ptrace not declared on this platform"
+#endif
+  if(errno != 0 || raise(SIGSTOP) != 0)
     xbt_die("Could not wait for the model-checker");
 
   client_->handleMessages();