diff options
Diffstat (limited to 'makefile')
| -rw-r--r-- | makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/makefile b/makefile index 27d4cbd6..e620a87c 100644 --- a/makefile +++ b/makefile @@ -46,6 +46,9 @@ test_list: mu.cc # .PHONY: all autogenerated_lists clean clena +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 |