diff options
author | rofl0r <rofl0r@users.noreply.github.com> | 2020-10-29 14:58:16 +0300 |
---|---|---|
committer | rofl0r <rofl0r@users.noreply.github.com> | 2020-10-29 14:58:22 +0300 |
commit | 0069fcd53e2a41298772f54d917eff7584cdf99a (patch) | |
tree | 85a00b222a8d87479ac93b7df2c350a20f8cbdcc | |
parent | 13680e775d26b8097788037b2a7739f86b84d14a (diff) |
configure: add missing function fail()
-rwxr-xr-x | configure | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -4,6 +4,7 @@ prefix=/usr/local OUR_CPPFLAGS= # Get a temporary filename +fail() { printf "%s\n" "$1" >2 ; exit 1 ; } i=0 set -C while : ; do i=$(($i+1)) |