corba/make/common/shared/Platform.gmk
changeset 12898 3526c8817fe6
parent 12566 fcf023e9e287
child 14095 ab1fb3836ddb
--- a/corba/make/common/shared/Platform.gmk	Thu Jun 07 20:30:30 2012 -0700
+++ b/corba/make/common/shared/Platform.gmk	Wed Jun 13 09:43:43 2012 -0700
@@ -143,7 +143,7 @@
     REQUIRED_FREE_SPACE=1040000
   endif
   # How much RAM does this machine have:
-  MB_OF_MEMORY=$(shell /etc/prtconf | fgrep 'Memory size:' | expand | cut -d' ' -f3)
+  MB_OF_MEMORY:=$(shell /usr/sbin/prtconf 2>/dev/null | fgrep 'Memory size:' | expand | cut -d' ' -f3)
 endif
 
 # Platform settings specific to Linux