diff options
Diffstat (limited to 'm0/makefile')
| -rw-r--r-- | m0/makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/m0/makefile b/m0/makefile index f1f9cb2..a9afeaf 100644 --- a/m0/makefile +++ b/m0/makefile @@ -160,6 +160,9 @@ $(TARGET).so: $(TARGET).o ../tinyxml2/tinyxml2.o ./mutator_aux.o ./mutator_repor $(TARGET).a: $(TARGET).o ../tinyxml2/tinyxml2.o ./mutator_aux.o ./mutator_report.o ../json/json.o ar rcs $(TARGET).a $(TARGET).o +valgrind: + valgrind --leak-check=yes $(TARGET) + clean: rm -f *.o *.dis *.odbg *.ocov *~ $(TARGET) $(TARGET).so $(TARGET)-static $(TARGET)-dbg $(TARGET).a $(TARGET)-cov ./keccak-tiny/*.o |