diff options
| author | Harald Fernengel <harald@trolltech.com> | 2009-08-11 14:42:53 +0200 |
|---|---|---|
| committer | Harald Fernengel <harald@trolltech.com> | 2009-08-11 14:45:33 +0200 |
| commit | bead88ed4149202638167499e50148ae9fb7ab3e (patch) | |
| tree | f5a020f538a97c3b7373fdb78c9a8f36ccd00726 /config.tests/unix/ptrsize.test | |
| parent | e08c698d48a3179515e0392843c77efcac892134 (diff) | |
Allow make utilities other than "make"
Instead of hard coding "make", use "$MAKE". If $MAKE is not set,
configure will export it for us when searching for "make".
Reviewed-by: Bradley T. Hughes <bradley.hughes@nokia.com>
Diffstat (limited to 'config.tests/unix/ptrsize.test')
| -rwxr-xr-x | config.tests/unix/ptrsize.test | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/config.tests/unix/ptrsize.test b/config.tests/unix/ptrsize.test index 1307cec9ad..c1d80eea9d 100755 --- a/config.tests/unix/ptrsize.test +++ b/config.tests/unix/ptrsize.test @@ -14,9 +14,9 @@ test -d "$OUTDIR/config.tests/unix/ptrsize" || mkdir -p "$OUTDIR/config.tests/un cd "$OUTDIR/config.tests/unix/ptrsize" if [ "$VERBOSE" = "yes" ]; then - (make clean && make) + ($MAKE clean && $MAKE) else - (make clean && make) >/dev/null 2>&1 + ($MAKE clean && $MAKE) >/dev/null 2>&1 fi RETVAL=$? |