make/common/shared/Platform.gmk

changeset 366
a1f721fbe5d0
parent 354
c6c0b1047985
child 406
0a5931be9176
equal deleted inserted replaced
365:0c0b50c7b76a 366:a1f721fbe5d0
141 REQUIRED_FREE_SPACE=1300000 141 REQUIRED_FREE_SPACE=1300000
142 else 142 else
143 REQUIRED_FREE_SPACE=1040000 143 REQUIRED_FREE_SPACE=1040000
144 endif 144 endif
145 # How much RAM does this machine have: 145 # How much RAM does this machine have:
146 MB_OF_MEMORY=$(shell /etc/prtconf | fgrep 'Memory size:' | expand | cut -d' ' -f3) 146 MB_OF_MEMORY:=$(shell /usr/sbin/prtconf 2>/dev/null | fgrep 'Memory size:' | expand | cut -d' ' -f3)
147 endif 147 endif
148 148
149 # Platform settings specific to Linux 149 # Platform settings specific to Linux
150 ifeq ($(SYSTEM_UNAME), Linux) 150 ifeq ($(SYSTEM_UNAME), Linux)
151 PLATFORM = linux 151 PLATFORM = linux

mercurial