Searched refs:echoerr (Results 1 – 1 of 1) sorted by relevance
15 echoerr() { echo "$@" 1>&2; } function21 { echoerr "File '${ENV_OBJ_FILE}' not found!"; exit 1; }