| #!/bin/bash | |
| die() { | |
| echo "$@" >&2 | |
| exit 1 | |
| } | |
| BASEDIR="$(dirname "$0")" | |
| cd "$BASEDIR" || die "Could not change into base directory $BASEDIR" | |
| autoreconf -fi || die "Error during autoreconf" | |
| rm -Rf autom4te.cache; | |
| doc/autogen.sh || die "Error during doc/autogen.sh" |