summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorWaldemar Brodkorb <wbrodkorb@conet.de>2018-09-21 18:29:41 +0200
committerWaldemar Brodkorb <wbrodkorb@conet.de>2018-09-21 18:29:41 +0200
commit7a604b393b51c196e765cf0e7121b56fc96b02f4 (patch)
tree3d37145b7832c148361b27e96c03d9c8c2e7bec6
parent0048544c405c549f6ef1f656166b5fdd0baa00e2 (diff)
prereq: gnu make 4 required for latest glibc
-rwxr-xr-xscripts/prereq.sh12
1 files changed, 9 insertions, 3 deletions
diff --git a/scripts/prereq.sh b/scripts/prereq.sh
index c1ae599a7..91825f2db 100755
--- a/scripts/prereq.sh
+++ b/scripts/prereq.sh
@@ -188,8 +188,13 @@ for makebin in $makebins; do
if [ $? -eq 0 ]; then
printf "yes\n"
MAKE=$(which $makebin)
- break
- else
+ fi
+ printf " ---> checking if it is make 4.x.. "
+ LC_ALL=C $makebin --version 2>/dev/null| grep -i "Make 4" >/dev/null
+ if [ $? -eq 0 ]; then
+ printf "yes\n"
+ break
+ else
# we need to build GNU make
printf "no\n"
printf " ---> compiling missing GNU make.. "
@@ -204,12 +209,13 @@ for makebin in $makebins; do
cd tmp
tar xzf ../dl/make-${makever}.tar.gz
cd make-$makever
- ./configure --prefix=$topdir/host_$gnu_host_name/
+ ./configure --prefix=$topdir/host_$gnu_host_name
make
make install
cd ..
cd ..
rm -rf tmp
+ (cd $topdir/host_$gnu_host_name/bin/; ln -sf make gnumake)
MAKE=$topdir/host_$gnu_host_name/bin/make
makebin=$topdir/host_$gnu_host_name/bin/make
printf " done\n"