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