#! @BASH@ -e
if [ x@EXEEXT@ = x ] ; then
# exenv="libtool --mode=execute valgrind --show-reachable=yes --run-libc-freeres=no "
#! @BASH@ -e
if [ x@EXEEXT@ = x ] ; then
# exenv="libtool --mode=execute valgrind --show-reachable=yes --run-libc-freeres=no "