Changeset 3179
- Timestamp:
- 02/13/08 10:39:24 (10 months ago)
- Files:
-
- trunk/lib/build-gdc.sh (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
- Modified
- Copied
- Moved
trunk/lib/build-gdc.sh
r3176 r3179 29 29 rm compiler/gdc/object.di 30 30 31 # Check whichmake we have32 make --version >& /dev/null 33 if [ "$?" = "0" ]31 # Check make we have 32 MAKE=`which gmake` 33 if [ ! "$MAKE" ] 34 34 then 35 MAKE=make 36 else 37 gmake --version >& /dev/null 38 if [ "$?" = "0" ] 35 MAKE=`which make` 36 if [ ! `$MAKE --version | grep 'GNU Make'` ] 39 37 then 40 MAKE=gmake41 else42 38 echo 'No supported build tool found.' 43 39 exit 1












