From 02f6cea5754edcd39164d4ca51dd5f7d615356fb Mon Sep 17 00:00:00 2001 From: Ken Raeburn Date: Tue, 6 Mar 2007 23:36:34 +0000 Subject: [PATCH] Do use valgrind on /bin/sh commands, since that's how we launch kadmind currently git-svn-id: svn://anonsvn.mit.edu/krb5/trunk@19212 dc483132-0cff-0310-8789-dd5450dbe970 --- src/tests/dejagnu/config/default.exp | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/tests/dejagnu/config/default.exp b/src/tests/dejagnu/config/default.exp index 0c40553ff..25b314298 100644 --- a/src/tests/dejagnu/config/default.exp +++ b/src/tests/dejagnu/config/default.exp @@ -83,7 +83,8 @@ if { [string length $VALGRIND] } { set inflags 0 # Only run valgrind for local programs, not # system ones. - if [string match "/" [string index $arg 0]]&&![string match "/bin/sh" $arg]&&![string match "/bin/ls" $arg]&&![regexp {/kshd$} $arg] { +#&&![string match "/bin/sh" $arg] sh is used to start kadmind! + if [string match "/" [string index $arg 0]]&&![string match "/bin/ls" $arg]&&![regexp {/kshd$} $arg] { set newargs [concat $newargs $VALGRIND] } } -- 2.26.2