2005-07-12 18:13:12 -06:00
|
|
|
#! /bin/sh
|
2005-09-12 00:21:24 -06:00
|
|
|
|
2015-03-09 06:08:17 -06:00
|
|
|
srcdir=`dirname "$0"`
|
|
|
|
test -z "$srcdir" && srcdir=.
|
|
|
|
|
|
|
|
ORIGDIR=`pwd`
|
|
|
|
cd "$srcdir"
|
|
|
|
|
2017-02-03 11:21:09 -07:00
|
|
|
git config --local --get format.subjectPrefix >/dev/null ||
|
2016-12-12 10:50:46 -07:00
|
|
|
git config --local format.subjectPrefix "PATCH libdrm" 2>/dev/null
|
|
|
|
|
2017-02-03 11:21:09 -07:00
|
|
|
git config --local --get sendemail.to >/dev/null ||
|
2016-12-12 10:50:46 -07:00
|
|
|
git config --local sendemail.to "dri-devel@lists.freedesktop.org" 2>/dev/null
|
|
|
|
|
2017-02-03 11:21:10 -07:00
|
|
|
autoreconf --force --verbose --install || exit 1
|
|
|
|
cd "$ORIGDIR" || exit $?
|
|
|
|
|
2015-03-09 06:08:17 -06:00
|
|
|
if test -z "$NOCONFIGURE"; then
|
|
|
|
"$srcdir"/configure "$@"
|
|
|
|
fi
|