From cf650d77a3bc720deb31d2dd04bbe63b8d8a1b48 Mon Sep 17 00:00:00 2001
From: Augustin Degomme <augustin.degomme@unibas.ch>
Date: Fri, 21 Jul 2017 14:44:32 +0200
Subject: [PATCH] try to silence a valgrind leak

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

diff --git a/tools/simgrid.supp b/tools/simgrid.supp
index 9f742a7e1c..6a0800b289 100644
--- a/tools/simgrid.supp
+++ b/tools/simgrid.supp
@@ -15,6 +15,13 @@
    obj:/usr/bin/*
 }
 
+{
+   Memory leak in cmake
+   Memcheck:Leak
+   ...
+   obj:cmake
+}
+
 # There's a constant leak of 56 bytes in the depths of libc which
 # manifests, for example, when using backtrace()
 {
-- 
2.20.1