Blame


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" $?