summaryrefslogtreecommitdiffstats
path: root/make/valgrind.mk
diff options
context:
space:
mode:
Diffstat (limited to 'make/valgrind.mk')
-rw-r--r--make/valgrind.mk2
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