Prefer $MAKE if specified in environment
Sometimes gmake is the only one available.
This commit is contained in:
parent
dba0adce71
commit
0e32be2465
1 changed files with 2 additions and 2 deletions
|
|
@ -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."
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue