#!/bin/sh

# Checks whether $3 invokes a GNU make $1.$2 or later.
# Returns 0 exit code if so, non-zero exit code otherwise.

MAKE_VER=`\
    ($3 -v) 2> /dev/null \
    | awk '/^GNU Make version/ {print $4}' \
    | sed -e "s/\./ /g" -e "s/,//g"\
`

if [ -z "${MAKE_VER}" ]
then
    exit 1
else
    MAKE_VER_MAJOR=`echo ${MAKE_VER} | awk '{print $1}'`
    MAKE_VER_MINOR=`echo ${MAKE_VER} | awk '{print $2}'`
    if [ \( ${MAKE_VER_MAJOR} -gt $1 \) \
         -o \( ${MAKE_VER_MAJOR} -eq $1 -a ${MAKE_VER_MINOR} -ge $2 \) ]
    then
        exit 0
    else
	exit 1
    fi
fi
