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