|
# Local definitions for vecho and friends, source when necessary.
|
|
|
|
function vecho ()
|
|
{
|
|
if [ $VERBOSE -gt 0 ] ; then
|
|
echo "$@"
|
|
fi
|
|
}
|
|
|
|
function vvecho ()
|
|
{
|
|
if [ $VERBOSE -gt 1 ] ; then
|
|
echo "$@"
|
|
fi
|
|
}
|
|
|
|
function vvvecho ()
|
|
{
|
|
if [ $VERBOSE -gt 2 ] ; then
|
|
echo "$@"
|
|
fi
|
|
}
|