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