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