From: Ken Raeburn Date: Tue, 6 Mar 2007 23:36:34 +0000 (+0000) Subject: Do use valgrind on /bin/sh commands, since that's how we launch kadmind currently X-Git-Tag: krb5-1.7-alpha1~1264 X-Git-Url: http://git.tremily.us/?a=commitdiff_plain;h=02f6cea5754edcd39164d4ca51dd5f7d615356fb;p=krb5.git 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 --- 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] } }