src/ci/docker/scripts/make3.sh


1
2
3
4
5
6
7
8
9

set -ex

curl -f https://ftp.gnu.org/gnu/make/make-3.81.tar.gz | tar xzf -
cd make-3.81
./configure --prefix=/usr
make
make install
cd ..
rm -rf make-3.81