Do use valgrind on /bin/sh commands, since that's how we launch kadmind currently
authorKen Raeburn <raeburn@mit.edu>
Tue, 6 Mar 2007 23:36:34 +0000 (23:36 +0000)
committerKen Raeburn <raeburn@mit.edu>
Tue, 6 Mar 2007 23:36:34 +0000 (23:36 +0000)
git-svn-id: svn://anonsvn.mit.edu/krb5/trunk@19212 dc483132-0cff-0310-8789-dd5450dbe970

src/tests/dejagnu/config/default.exp

index 0c40553ff72429585ee1ca9f4772fbe74d5f2fc8..25b31429867d40af5a04067d0c5604b5e6560456 100644 (file)
@@ -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]
                }
            }