diff options
| author | P. J. McDermott <pj@pehjota.net> | 2015-12-07 13:14:25 (EST) |
|---|---|---|
| committer | P. J. McDermott <pj@pehjota.net> | 2015-12-07 13:14:25 (EST) |
| commit | ee149d43151fa390845caaec06838f55ae3f3791 (patch) | |
| tree | 6b6c0910c7732a360bb946588063c4fd1a533b93 | |
| parent | 02b7c960947c4a33af50a9829edf73e5d4c32ffc (diff) | |
tools/shpp.sh: Write errors to stderr
| -rwxr-xr-x | tools/shpp.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/shpp.sh b/tools/shpp.sh index 891f9bd..fc23a52 100755 --- a/tools/shpp.sh +++ b/tools/shpp.sh @@ -27,7 +27,7 @@ die() local fmt="${1}" shift 1 - printf "shpp: ${fmt}\n" "${@}" + printf "shpp: ${fmt}\n" "${@}" >&2 exit 2 } @@ -36,7 +36,7 @@ error() local fmt="${1}" shift 1 - printf "shpp: ${fmt}\n" "${@}" + printf "shpp: ${fmt}\n" "${@}" >&2 } preprocess() |