diff options
author | Sverker Eriksson <[email protected]> | 2011-12-14 11:38:02 +0100 |
---|---|---|
committer | Sverker Eriksson <[email protected]> | 2011-12-19 16:09:40 +0100 |
commit | 2db25adbf63b6043fba3817c060cf5e32cdec343 (patch) | |
tree | 9e76537e350990c9bdee313679d4b403aafc8e9c /make | |
parent | 7fcc77d7b8ef838c1e5633acb9330120cac22cd3 (diff) | |
download | otp-2db25adbf63b6043fba3817c060cf5e32cdec343.tar.gz otp-2db25adbf63b6043fba3817c060cf5e32cdec343.tar.bz2 otp-2db25adbf63b6043fba3817c060cf5e32cdec343.zip |
otp,erts: Add phony valgrind target
To avoid conflict with directory erts/emulator/valgrind
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=$@ |