summaryrefslogtreecommitdiff
path: root/toolchain
diff options
context:
space:
mode:
authorBernhard Reutner-Fischer <rep.dot.nop@gmail.com>2007-06-05 07:38:07 +0000
committerBernhard Reutner-Fischer <rep.dot.nop@gmail.com>2007-06-05 07:38:07 +0000
commiteb84b6dba32ce585a554182249da8fe627eaa04f (patch)
treea4dbbab47552d37d8848ce0a730c7da65975c7f5 /toolchain
parent915d1d2bd1942ef0b71d73570e71c9759848e67f (diff)
- fix typo in version check
Diffstat (limited to 'toolchain')
-rwxr-xr-xtoolchain/dependencies/dependencies.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/toolchain/dependencies/dependencies.sh b/toolchain/dependencies/dependencies.sh
index 2996081e3..ec005d8a2 100755
--- a/toolchain/dependencies/dependencies.sh
+++ b/toolchain/dependencies/dependencies.sh
@@ -137,7 +137,7 @@ 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 -o $MAKE_MAJOR -eq 3 -a $MAKE_MINOR -lt 8 ] ; then
+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"
exit 1;
fi;