From 0e32be246500e78089327f323794f1e5d7af879b Mon Sep 17 00:00:00 2001 From: Tristan Carel Date: Thu, 17 Jan 2013 16:54:54 +0100 Subject: [PATCH] Prefer $MAKE if specified in environment Sometimes gmake is the only one available. --- Tools/pcre-build.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Tools/pcre-build.sh b/Tools/pcre-build.sh index 68ffe0b03..4af7deca3 100755 --- a/Tools/pcre-build.sh +++ b/Tools/pcre-build.sh @@ -48,8 +48,8 @@ echo "Configuring PCRE in directory: pcre" mv $pcre_dir pcre || bail "Could not create pcre directory" cd pcre && ./configure --prefix=$pcre_install_dir --disable-shared $* || bail "PCRE configure failed" echo "Building PCRE..." -make -s || bail "Could not build PCRE" +${MAKE:make} -s || bail "Could not build PCRE" echo "Installing PCRE locally to $pcre_install_dir..." -make -s install || bail "Could not install PCRE" +${MAKE:make} -s install || bail "Could not install PCRE" echo "" echo "The SWIG configure script can now be run, whereupon PCRE will automatically be detected and used from $pcre_install_dir/bin/pcre-config."