diff options
author | Tristan Carel <tristan.carel@gmail.com> | 2013-01-17 16:54:54 +0100 |
---|---|---|
committer | Tristan Carel <tristan.carel@gmail.com> | 2013-01-17 16:54:54 +0100 |
commit | 0e32be246500e78089327f323794f1e5d7af879b (patch) | |
tree | 2b0dbb0008f1cd3f97bde420b99db839d7e46885 /Tools | |
parent | dba0adce71def7257f6acdc1cb790be5f18c5c39 (diff) | |
download | swig-0e32be246500e78089327f323794f1e5d7af879b.tar.gz |
Prefer $MAKE if specified in environment
Sometimes gmake is the only one available.
Diffstat (limited to 'Tools')
-rwxr-xr-x | Tools/pcre-build.sh | 4 |
1 files 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." |