Download Reference Manual
The Developer's Library for D
About Wiki Forums Source Search Contact

Changeset 3179

Show
Ignore:
Timestamp:
02/13/08 10:39:24 (10 months ago)
Author:
larsivi
Message:

Fix bogus check for make.

Files:

Legend:

Unmodified
Added
Removed
Modified
Copied
Moved
  • trunk/lib/build-gdc.sh

    r3176 r3179  
    2929rm compiler/gdc/object.di 
    3030 
    31 # Check which make we have 
    32 make --version >& /dev/null 
    33 if [ "$?" = "0" ] 
     31# Check make we have 
     32MAKE=`which gmake` 
     33if [ ! "$MAKE" ] 
    3434then 
    35     MAKE=make 
    36 else 
    37     gmake --version >& /dev/null 
    38     if [ "$?" = "0" ] 
     35    MAKE=`which make` 
     36    if [ ! `$MAKE --version | grep 'GNU Make'` ] 
    3937    then 
    40         MAKE=gmake 
    41     else 
    4238        echo 'No supported build tool found.' 
    4339        exit 1