1 72931428 2021-09-21 thomas.ad #!/bin/sh 2 72931428 2021-09-21 thomas.ad 3 72931428 2021-09-21 thomas.ad die() 4 72931428 2021-09-21 thomas.ad { 5 2f4dd2c2 2021-09-27 thomas echo "$1" >&2 6 72931428 2021-09-21 thomas.ad exit $2 7 72931428 2021-09-21 thomas.ad } 8 72931428 2021-09-21 thomas.ad 9 72931428 2021-09-21 thomas.ad autoreconf -f -i -v || die "autoreconf failed" $?