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 |