From cf2a89d36cdeb1e4af473677f51bf6678e918e42 Mon Sep 17 00:00:00 2001
From: Christophe Geuzaine <cgeuzaine@ulg.ac.be>
Date: Sun, 30 Mar 2003 22:27:07 +0000
Subject: [PATCH] valgrind

---
 doc/README.devel | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/README.devel b/doc/README.devel
index 5590b5c838..9afcad22d8 100644
--- a/doc/README.devel
+++ b/doc/README.devel
@@ -1,4 +1,4 @@
-$Id: README.devel,v 1.5 2003-03-06 23:01:17 geuzaine Exp $
+$Id: README.devel,v 1.6 2003-03-30 22:27:07 geuzaine Exp $
 
 Some easy rules to make the code easy to read/debug/maintain:
 
@@ -39,7 +39,7 @@ Tools to check memory leaks
   export LD_PRELOAD=libnjamd.so
   kill -USR1
 
-* valgrind
+* valgrind --leak-check=yes --show-reachable=yes gmsh file.geo -3
 
 * purify
 
-- 
GitLab