Loading toolchain/dependencies/dependencies.sh +1 −1 Original line number Diff line number Diff line Loading @@ -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; Loading Loading
toolchain/dependencies/dependencies.sh +1 −1 Original line number Diff line number Diff line Loading @@ -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; Loading