Linux 升级make (gmake)
wget https://ftp.gnu.org/gnu/make/make-4.2.tar.gz tar -zxf make-4.2.tar.gz cd make-4.2 ./configure --prefix=$HOME/local make make install
可以在 ~/.bash_profile 里加上 PATH=$HOME/local/bin:$PATH
然后把 make 软连接到 bin 或者把 local/bin 添加到环境变量
gmake其实就是 make , ln -s $HOME/local/bin/make $HOME/local/bin/gmake