diff options
| author | Stefano Lattarini <stefano.lattarini@gmail.com> | 2012-08-31 15:41:38 +0200 |
|---|---|---|
| committer | Jim Meyering <meyering@redhat.com> | 2012-09-02 20:05:39 +0200 |
| commit | d263b0e252fa7f1878859053643b094bd56084e3 (patch) | |
| tree | cd84d764642932cfb106f2f418068d78777cc239 /scripts/autotools-install | |
| parent | 1952f44a741b619651c3bb3fe53dc991e4041b0d (diff) | |
| download | coreutils-d263b0e252fa7f1878859053643b094bd56084e3.tar.xz | |
scripts: autotools-install: allow user-specified make program
* scripts/autotools-install: Honor $MAKE. This might be useful
on systems where the make implementation available in $PATH
by default is limited (Solaris) or broken (HP-UX).
Diffstat (limited to 'scripts/autotools-install')
| -rwxr-xr-x | scripts/autotools-install | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/scripts/autotools-install b/scripts/autotools-install index a871adcd6..bd496645c 100755 --- a/scripts/autotools-install +++ b/scripts/autotools-install @@ -13,6 +13,10 @@ VERSION='2012-08-31 07:40' # UTC +# For systems with limited/botched make (the case of most vendor makes!), +# allow the user to override it. +MAKE=${MAKE-make} + prog_name=`basename $0` die () { echo "$prog_name: $*" >&2; exit 1; } @@ -145,7 +149,7 @@ for pkg in $pkgs; do gzip -dc $pkg | tar xf - cd $dir ./configure CFLAGS=-O2 LDFLAGS=-s --prefix=$prefix >makerr-config 2>&1 - make >makerr-build 2>&1 + $MAKE >makerr-build 2>&1 if test $make_check = yes; then case $pkg in # FIXME: these are out of date and very system-sensitive @@ -158,9 +162,9 @@ for pkg in $pkgs; do echo "running 'make check' for $pkg; NB: this can take over" \ "$expected_duration_minutes minutes" fi - make check >makerr-check 2>&1 + $MAKE check >makerr-check 2>&1 fi - make install >makerr-install 2>&1 + $MAKE install >makerr-install 2>&1 echo "done at `date +%Y-%m-%d.%T`" cd .. done |