diff --git a/Makefile b/Makefile index 3bc927519fd0df0a3b75e988e68fff90ba26f83a..9268b17b80b9899e76e7ad1cf92e67b670f2b09f 100644 --- a/Makefile +++ b/Makefile @@ -1,5 +1,5 @@ # -# $Id: Makefile,v 1.145 2004/06/13 18:15:31 grubba Exp $ +# $Id: Makefile,v 1.146 2004/07/04 12:56:04 mast Exp $ # # Meta Makefile # @@ -222,12 +222,15 @@ testsuites: just_verify: @$(DO_MAKE) "METATARGET=just_verify" _make_in_builddir -valgrind_verify: - @$(DO_MAKE) "METATARGET=valgrind_verify" _make_in_builddir +valgrind_just_verify: + @$(DO_MAKE) "METATARGET=valgrind_just_verify" _make_in_builddir verify: @$(DO_MAKE) "METATARGET=verify" _make_in_builddir +valgrind_verify: + @$(DO_MAKE) "METATARGET=valgrind_verify" _make_in_builddir + verify_installed: @$(DO_MAKE) "METATARGET=verify_installed" _make_in_builddir