diff options
| author | Sascha Schumann <sas@php.net> | 1999-12-02 02:14:06 +0000 |
|---|---|---|
| committer | Sascha Schumann <sas@php.net> | 1999-12-02 02:14:06 +0000 |
| commit | 117d6a415122f6727981f9801d74a9d79ae1f7f3 (patch) | |
| tree | 8335cc165667b960e98d7a1e32f149996e33a6a6 | |
| parent | ccd5da30be2b45aa207effc8a33e51ccab64162f (diff) | |
| download | php-git-117d6a415122f6727981f9801d74a9d79ae1f7f3.tar.gz | |
Let user override default setting of ``make''
| -rwxr-xr-x | buildconf | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -1,4 +1,5 @@ #!/bin/sh +# $Id$ supplied_flag=$1 @@ -25,4 +26,4 @@ else subdirs='' fi -make -s -f build.mk AMFLAGS="$automake_flags" $subdirs +${MAKE:-make} -s -f build.mk AMFLAGS="$automake_flags" $subdirs |