--- src/testing/MkillUsers.in.ORG. 2005-05-27 18:42:35.000000000 +0200 +++ src/testing/MkillUsers.in 2005-06-07 15:09:22.000000000 +0200 @@ -83,7 +83,7 @@ if [ "$PLAYPEN_BUILD" ] ; then BINPATH="$BINPATH $PLAYPEN_BUILD/src/tools $PLAYPEN_BUILD/src/tools/.libs" ; fi if [ "$TEMPLATE_BUILD" ] ; then BINPATH="$BINPATH $TEMPLATE_BUILD/src/tools $TEMPLATE_BUILD/src/tools/.libs" ; fi for b in $BINPATH ; do - files="$files `ls $b/* 2>/dev/null | egrep -v '/(M[a-z]*\.py(\.bat)?|'"$THISFILE"')$'`" + files="$files `ls $b/* 2>/dev/null | egrep '/(Mserver|MapiClient(|\.py)|Mdiff|Mlog|Mtimeout|pf)$'`" done case `uname` in