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