#
 # Check for GNU Make.  This is originally from
 # http://www.gnu.org/software/ac-archive/htmldoc/check_gnu_make.html
 #
 AC_DEFUN([AC_CHECK_GNU_MAKE],
 [AC_CACHE_CHECK([for GNU make],[llvm_cv_gnu_make_command],
 dnl Search all the common names for GNU make
 [llvm_cv_gnu_make_command=''
  for a in "$MAKE" make gmake gnumake ; do
   if test -z "$a" ; then continue ; fi ;
   if  ( sh -c "$a --version" 2> /dev/null | grep GNU 2>&1 > /dev/null ) 
   then
    llvm_cv_gnu_make_command=$a ;
    break;
   fi
  done])
 dnl If there was a GNU version, then set @ifGNUmake@ to the empty string, 
 dnl '#' otherwise
  if test "x$llvm_cv_gnu_make_command" != "x"  ; then
    ifGNUmake='' ;
  else
    ifGNUmake='#' ;
    AC_MSG_RESULT("Not found");
  fi
  AC_SUBST(ifGNUmake)
 ])