Rename REAMDE to README.md

[nit.git] / src / valgrind.sh

diff --git a/src/valgrind.sh b/src/valgrind.sh
index c024763..1ffa5af 100755 (executable)
--- a/src/valgrind.sh
+++ b/src/valgrind.sh
@@ -3,8 +3,8 @@
 # Script to call valgrind with the right options
 
 # Disable GC to avoid unpredictable long news (those that trigger the GC)
-NIT_GC_OPTION=large
+NIT_GC_OPTION=malloc
 export NIT_GC_OPTION
 
 # Skip usual methods with blocks to avoid loops
-exec valgrind --tool=callgrind --fn-skip=array___Array___iterate --fn-skip=abstract_collection___Collection___iterate --fn-skip=parser_prod___Visitor___enter_visit "$@"
+exec valgrind --tool=callgrind --fn-skip=array___Array___iterate --fn-skip=abstract_collection___Collection___iterate --fn-skip=parser_prod___Visitor___enter_visit --fn-skip=standard___collection___abstract_collection___Collection___iterate --fn-skip=standard___collection___array___Array___iterate "$@"