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

Changeset 3276

Show
Ignore:
Timestamp:
02/24/08 07:49:35 (9 months ago)
Author:
larsivi
Message:

Fix make check, thanks fawzi, closes #938

Files:

Legend:

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

    r3216 r3276  
    4141# Check make we have 
    4242MAKE=`which gmake` 
    43 if [ ! "$MAKE" ] 
     43if [ ! -e "$MAKE" ] 
    4444then 
    4545    MAKE=`which make`