summaryrefslogtreecommitdiff
path: root/etc/bigloo/autoconf/gmaketest
blob: 1bedd727e3c186a25f3b242e087bebe5824a137b (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
#!/bin/sh
#*=====================================================================*/
#*    serrano/prgm/project/bigloo/autoconf/gmaketest                   */
#*    -------------------------------------------------------------    */
#*    Author      :  Manuel Serrano                                    */
#*    Creation    :  Thu Jan 14 10:31:33 1999                          */
#*    Last change :  Thu May 18 07:19:28 2000 (serrano)                */
#*    -------------------------------------------------------------    */
#*    Checsk that Make is GNU make                                     */
#*=====================================================================*/

#*---------------------------------------------------------------------*/
#*    flags                                                            */
#*---------------------------------------------------------------------*/
make=make

#*---------------------------------------------------------------------*/
#*    We parse the arguments                                           */
#*---------------------------------------------------------------------*/
while : ; do
  case $1 in
    "")
      break;;

    --make=*)
      make="`echo $1 | sed 's/^[-a-z]*=//'`";;

    -*)
      echo "Unknown option \"$1\", ignored" >&2;;
  esac
  shift
done

# Check the make version number
$make -v --version | grep -i "gnu make" > /dev/null

# Return the grep result
exit $?