diff options
| author | rofl0r <rofl0r@users.noreply.github.com> | 2020-10-29 15:05:58 +0300 |
|---|---|---|
| committer | rofl0r <rofl0r@users.noreply.github.com> | 2020-10-29 15:06:00 +0300 |
| commit | 583343a2ef46f5d3fd7be10dc59ae55689cc732d (patch) | |
| tree | 8918ad7cdb16c975ef0dc2fb1e37f0f061383553 | |
| parent | 0069fcd53e2a41298772f54d917eff7584cdf99a (diff) | |
configure: fix typo in fail()
| -rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -4,7 +4,7 @@ prefix=/usr/local OUR_CPPFLAGS= # Get a temporary filename -fail() { printf "%s\n" "$1" >2 ; exit 1 ; } +fail() { printf "%s\n" "$1" >&2 ; exit 1 ; } i=0 set -C while : ; do i=$(($i+1)) |