1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
| #!/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"
|
|
