From 44c10ff6b48e3597b8778199bba203bfc68beec0 Mon Sep 17 00:00:00 2001 From: Peter Korsgaard Date: Wed, 30 Sep 2009 09:03:40 +0200 Subject: dependencies: check for >= make 3.81 Reported by Andrew Dyer and Lionel Landwerlin . Seems like make 3.80 has problems with our Makefile.autotools.in infrastructure. Signed-off-by: Peter Korsgaard --- toolchain/dependencies/dependencies.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'toolchain/dependencies/dependencies.sh') 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" -- cgit v1.2.3