ronnie
2022-12-30 facaa6cb96a343e1862f114f00eda9a55ef2457b
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
#! /bin/sh
 
srcdir=`dirname "$0"`
test -z "$srcdir" && srcdir=.
 
ORIGDIR=`pwd`
cd "$srcdir"
 
git config --local --get format.subjectPrefix >/dev/null ||
    git config --local format.subjectPrefix "PATCH libdrm" 2>/dev/null
 
git config --local --get sendemail.to >/dev/null ||
    git config --local sendemail.to "dri-devel@lists.freedesktop.org" 2>/dev/null
 
autoreconf --force --verbose --install || exit 1
cd "$ORIGDIR" || exit $?
 
if test -z "$NOCONFIGURE"; then
    "$srcdir"/configure "$@"
fi