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 source "config/configure.in"
2 source "config/backend.in"
3 source "config/global.in"
4 source "config/target.in"
5 source "config/toolchain.in"
6 source "config/kernel.in"
7 source "config/binutils.in"
9 source "config/libc.in"
10 source "config/debug.in"
11 source "config/companion_libs.in"
12 source "config/companion_tools.in"
13 source "config/test_suite.in"