diff options
author | Sverker Eriksson <[email protected]> | 2012-01-11 19:07:20 +0100 |
---|---|---|
committer | Sverker Eriksson <[email protected]> | 2012-01-11 19:07:20 +0100 |
commit | af92f5b223cc2c55df388ba731f017692e238a41 (patch) | |
tree | 223ffd8a8cae39ca8e52389872ceb858937b1645 /make | |
parent | cd25c1e757568e23e6b833e3052de2bf942e9fa1 (diff) | |
parent | b8b3de6260240c7eb0d7bebec3eeb833bb4ff0d7 (diff) | |
download | otp-af92f5b223cc2c55df388ba731f017692e238a41.tar.gz otp-af92f5b223cc2c55df388ba731f017692e238a41.tar.bz2 otp-af92f5b223cc2c55df388ba731f017692e238a41.zip |
Merge branch 'maint'
Diffstat (limited to 'make')
-rw-r--r-- | make/run_make.mk | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/make/run_make.mk b/make/run_make.mk index b2be384aa3..39c3668e50 100644 --- a/make/run_make.mk +++ b/make/run_make.mk @@ -27,6 +27,8 @@ include $(ERL_TOP)/make/target.mk +.PHONY: valgrind + opt debug purify quantify purecov valgrind gcov gprof lcnt: $(MAKE) -f $(TARGET)/Makefile TYPE=$@ |