diff options
Diffstat (limited to 'make/valgrind.mk')
| -rw-r--r-- | make/valgrind.mk | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/make/valgrind.mk b/make/valgrind.mk index 924d21162..c37506510 100644 --- a/make/valgrind.mk +++ b/make/valgrind.mk @@ -78,6 +78,8 @@ else valgrind: endif +valgrind-source: $(DL_DIR)/$(VALGRIND_SOURCE) + valgrind-clean: $(MAKE) -C $(VALGRIND_DIR) clean |