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