diff options
Diffstat (limited to 'makefile')
| -rw-r--r-- | makefile | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/makefile b/makefile index d4257826..cc0fd84c 100644 --- a/makefile +++ b/makefile @@ -49,9 +49,6 @@ test_list: mu.cc test: autogenerated_lists mu_bin core.mu ./mu_bin test -valgrind: autogenerated_lists mu_bin core.mu - valgrind --leak-check=yes --num-callers=40 -q --error-exitcode=1 ./mu_bin test - clena: clean clean: cd enumerate && make clean |