From 06285a4ee369fdc3dccdbb42144be049dbf89bb4 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Wed, 30 Oct 2013 21:31:37 +0100
Subject: [PATCH 1/1] Ignore memory leaks in any binary from /bin or /usr/bin.

---
 tools/simgrid.supp | 12 +++++-------
 1 file changed, 5 insertions(+), 7 deletions(-)

diff --git a/tools/simgrid.supp b/tools/simgrid.supp
index 7c2feea656..27bab275b2 100644
--- a/tools/simgrid.supp
+++ b/tools/simgrid.supp
@@ -1,20 +1,18 @@
 # Valgrind suppressions for stuff that we cannot control
 
-# Memory leak in dash
-# dash is actually used when checking the "mkfile" command in tesh
+# Memory leaks in standard tools (e.g. dash, tail, or sort)
 {
-   Memory leak in /bin/dash
+   Memory leak in /bin tools
    Memcheck:Leak
    ...
-   obj:/bin/dash
+   obj:/bin/*
 }
 
-# We also don't want to be annoyed by leaks in /usr/bin/tail
 {
-   Memory leak in /usr/bin/tail
+   Memory leak in /usr/bin tools
    Memcheck:Leak
    ...
-   obj:/usr/bin/tail
+   obj:/usr/bin/*
 }
 
 # There's a constant leak of 56 bytes in the depths of libc which
-- 
2.20.1