Searched refs:vecho (Results 1 – 1 of 1) sorted by relevance
12 vecho() { [ "${quiet}" = "silent_" ] || echo "$@" ; } function93 vecho " UPD $TARGET"