diff options
Diffstat (limited to '')
-rwxr-xr-x | packaging/smart-make | 45 |
1 files changed, 45 insertions, 0 deletions
diff --git a/packaging/smart-make b/packaging/smart-make new file mode 100755 index 0000000..3826432 --- /dev/null +++ b/packaging/smart-make @@ -0,0 +1,45 @@ +#!/bin/sh + +set -e + +export LANG=C + +branch=`packaging/prep-auto-dir` +if test x"$branch" = x; then + srcdir=. +else + cd build + srcdir=.. +fi + +if test -f configure.sh; then + cp -p configure.sh configure.sh.old +else + touch configure.sh.old +fi + +if test -f .fetch; then + $srcdir/prepare-source fetch +else + $srcdir/prepare-source +fi + +if diff configure.sh configure.sh.old >/dev/null 2>&1; then + echo "configure.sh is unchanged." + rm configure.sh.old +else + echo "configure.sh has CHANGED." + if test -f config.status; then + ./config.status --recheck + else + $srcdir/configure + fi +fi + +./config.status + +make all + +if test x"$1" = x"check"; then + make check +fi |