From 2c994546c9ca8a809cb65170ec550ef4c7faa40e Mon Sep 17 00:00:00 2001
From: Martin Nilsson <mani@lysator.liu.se>
Date: Sun, 31 Aug 2003 23:24:04 +0200
Subject: [PATCH] Added valgrind_hilfe target

Rev: src/Makefile.in:1.357
---
 src/Makefile.in | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/Makefile.in b/src/Makefile.in
index 1f25ea9872..ca58245cef 100644
--- a/src/Makefile.in
+++ b/src/Makefile.in
@@ -1,5 +1,5 @@
 #
-# $Id: Makefile.in,v 1.356 2003/08/18 14:23:26 mast Exp $
+# $Id: Makefile.in,v 1.357 2003/08/31 21:24:04 nilsson Exp $
 #
 
 # This line is needed on some machines.
@@ -556,6 +556,9 @@ fast_verify_testsuite: testsuite
 run_hilfe: master.pike
 	$(RUNPIKE) $(ARGS)
 
+valgrind_hilfe: master.pike
+	$(VALGRIND) $(VALGRINDARGS) $(RUNPIKE) $(ARGS)
+
 feature_list:
 	$(RUNPIKE) $(TMP_BINDIR)/feature_list
 
-- 
GitLab