1 #!/bin/bash 2 3 die() { 4 echo "$@" >&2 5 exit 1 6 } 7 8 BASEDIR="$(dirname "$0")" 9 10 cd "$BASEDIR" || die "Could not change into base directory $BASEDIR" 11 12 autoreconf -fi || die "Error during autoreconf" 13 rm -Rf autom4te.cache; 14 15 doc/autogen.sh || die "Error during doc/autogen.sh" 16
