#! /bin/sh
#------------------------------------------------------------------------
# Script to search for directories where valgrind can be run.
#------------------------------------------------------------------------
VALGRIND_TOOL_SET=$1
case x$1 in
x) VALGRIND_TOOL_SET=valgrind-memcheck
  ;;
*)
esac
OUT="${VALGRIND_TOOL_SET}.log"
VALGRIND_MAKEFILES=`find ./ -name Makefile -exec grep -l valgrind.mk {} /dev/null \; | grep -v /build/`
if test -f $OUT
then
    rm -f $OUT
fi
for m in ${VALGRIND_MAKEFILES}
do
  dir=`echo $m | sed -e 's/\/[^\/]*$//g'`
  echo "@@@@@@@@@@  $dir @@@@@@@@@@" >>$OUT 2>&1
  ( cd $dir ; make check >/dev/null 2>&1; make valgrind-clean > /dev/null 2>&1; make ${VALGRIND_TOOL_SET} ) >> $OUT 2>&1
done
