From: Martin Quinson <martin.quinson@loria.fr>
Date: Sun, 1 Nov 2015 08:23:02 +0000 (+0100)
Subject: add another library to the whitelist of ignored debugging symbols
X-Git-Tag: v3_13~1607
X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/f67e2a105c7e5bfa480360eeb565a839a9778688

add another library to the whitelist of ignored debugging symbols
---

diff --git a/src/mc/Process.cpp b/src/mc/Process.cpp
index 3ad754e1b9..e644b4a47b 100644
--- a/src/mc/Process.cpp
+++ b/src/mc/Process.cpp
@@ -67,6 +67,7 @@ static const char *const FILTERED_LIBS[] = {
   "libelf",
   "libgcc_s",
   "liblua5.1",
+  "liblua5.3",
   "liblzma",
   "libm",
   "libpthread",