From d5d32632eac560d5a3d0f99fe135856ef903002e Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Sat, 6 Mar 2021 00:00:30 +0100
Subject: [PATCH] simgrid-mc also needs debugging symbols, so let's hint about
 it

---
 src/mc/inspect/ObjectInformation.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/mc/inspect/ObjectInformation.cpp b/src/mc/inspect/ObjectInformation.cpp
index c463bd304b..e78ecc8e2c 100644
--- a/src/mc/inspect/ObjectInformation.cpp
+++ b/src/mc/inspect/ObjectInformation.cpp
@@ -172,7 +172,7 @@ void find_object_address(std::vector<xbt::VmMap> const& maps, ObjectInformation*
     else if (reg.prot == PROT_READ) {
       xbt_assert(not result->start_ro,
                  "Multiple read-only segments for %s, not supported. Compiling with the following may help: "
-                 "-Wl,-znorelro -Wl,-znoseparate-code",
+                 "-g -Wl,-znorelro -Wl,-znoseparate-code",
                  maps[i].pathname.c_str());
       result->start_ro = (char*)reg.start_addr;
       result->end_ro   = (char*)reg.end_addr;
-- 
2.20.1