There’re some situation that you need to update your Make version to 4.0 or later.
Try this in terminal:
cd /tmp wget http://ftp.gnu.org/gnu/make/make-4.1.tar.gz tar xvf make-4.1.tar.gz ./configure make sudo make install rm -rf make-4.1.tar.gz make-4.1
You can make it your default make
by prefixing /usr/local/bin
to your $PATH
variable in your shell startup file
Advertisements