diff options
Diffstat (limited to 'configure')
-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)) |