1 0d6fb46a 2022-01-09 op #!/bin/sh
2 0d6fb46a 2022-01-09 op 
3 0d6fb46a 2022-01-09 op die()
4 0d6fb46a 2022-01-09 op {
5 0d6fb46a 2022-01-09 op     echo "$@" >&2
6 0d6fb46a 2022-01-09 op     exit $2
7 0d6fb46a 2022-01-09 op }
8 0d6fb46a 2022-01-09 op 
9 0d6fb46a 2022-01-09 op autoreconf -f -i -v || die "autoreconf failed" $?