diff options
-rw-r--r-- | makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/makefile b/makefile index 5dd114c2..6d2f1554 100644 --- a/makefile +++ b/makefile @@ -50,7 +50,7 @@ test: autogenerated_lists mu_bin core.mu ./mu_bin test valgrind: autogenerated_lists mu_bin core.mu - valgrind --leak-check=yes -q --error-exitcode=1 ./mu_bin test + valgrind --leak-check=yes --num-callers=40 -q --error-exitcode=1 ./mu_bin test clena: clean clean: |