If GNU make 3.81 is not found then build it as a companion tool.
Signed-off-by: Ray Donnelly <mingw.android@gmail.com>
[yann.morin.1998@free.fr: add message "checking for make 3.81"]
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
Message-Id: <8b8bf6998f3d239f6c74.1392920971@advancedsearch.virginmedia.com>
Patchwork-Id: 322302
1 diff -ru ltrace-0.5.3.org/configure ltrace-0.5.3/configure
2 --- ltrace-0.5.3.org/configure 2011-08-21 18:55:15.000000000 +0200
3 +++ ltrace-0.5.3/configure 2011-08-21 18:54:46.000000000 +0200
7 echo -n "checking HOST_OS... "
9 -if [ "$HOST_OS" = "Linux" ]
10 +if [ -z "$HOST_OS" ] ; then
11 + HOST_OS=$( uname -s )
13 + echo -n "using preset: "
15 +if [ "$HOST_OS" = "Linux" -o "$HOST_OS" = "linux" ]