summaryrefslogtreecommitdiff
path: root/toolchain/dependencies
diff options
context:
space:
mode:
authorPeter Korsgaard <jacmet@sunsite.dk>2009-09-30 09:03:40 +0200
committerPeter Korsgaard <jacmet@sunsite.dk>2009-09-30 09:03:40 +0200
commit44c10ff6b48e3597b8778199bba203bfc68beec0 (patch)
treead71bf58fcb4177e505f238163f6fed97dfa5125 /toolchain/dependencies
parent78145a624ceddf05d11a15d14c84a71785861293 (diff)
dependencies: check for >= make 3.81
Reported by Andrew Dyer <amdyer@gmail.com> and Lionel Landwerlin <lionel.landwerlin@openwide.fr>. Seems like make 3.80 has problems with our Makefile.autotools.in infrastructure. Signed-off-by: Peter Korsgaard <jacmet@sunsite.dk>
Diffstat (limited to 'toolchain/dependencies')
-rwxr-xr-xtoolchain/dependencies/dependencies.sh4
1 files changed, 2 insertions, 2 deletions
diff --git a/toolchain/dependencies/dependencies.sh b/toolchain/dependencies/dependencies.sh
index 98a9d6f92..9e2e50b4c 100755
--- a/toolchain/dependencies/dependencies.sh
+++ b/toolchain/dependencies/dependencies.sh
@@ -165,8 +165,8 @@ if [ -z "$MAKE_VERSION" ] ; then
fi;
MAKE_MAJOR=$(echo $MAKE_VERSION | $XSED -e "s/\..*//g")
MAKE_MINOR=$(echo $MAKE_VERSION | $XSED -e "s/^$MAKE_MAJOR\.//g" -e "s/\..*//g" -e "s/[a-zA-Z].*//g")
-if [ $MAKE_MAJOR -lt 3 ] || [ $MAKE_MAJOR -eq 3 -a $MAKE_MINOR -lt 80 ] ; then
- echo "You have make '$MAKE_VERSION' installed. GNU make >=3.80 is required"
+if [ $MAKE_MAJOR -lt 3 ] || [ $MAKE_MAJOR -eq 3 -a $MAKE_MINOR -lt 81 ] ; then
+ echo "You have make '$MAKE_VERSION' installed. GNU make >=3.81 is required"
exit 1;
fi;
echo "GNU make version '$MAKE_VERSION': Ok"