jdk/make/common/shared/Sanity-Settings.gmk
changeset 9457 57358dca0845
parent 8993 9076d969ffdf
child 11994 74f1488b7347
equal deleted inserted replaced
9398:5d86d0c7692e 9457:57358dca0845
   190   endif
   190   endif
   191 endif
   191 endif
   192 ALL_SETTINGS+=$(call addRequiredVersionSetting,OS_VERSION)
   192 ALL_SETTINGS+=$(call addRequiredVersionSetting,OS_VERSION)
   193 ALL_SETTINGS+=$(call addOptionalSetting,OS_VARIANT_NAME)
   193 ALL_SETTINGS+=$(call addOptionalSetting,OS_VARIANT_NAME)
   194 ALL_SETTINGS+=$(call addOptionalSetting,OS_VARIANT_VERSION)
   194 ALL_SETTINGS+=$(call addOptionalSetting,OS_VARIANT_VERSION)
   195 ALL_SETTINGS+=$(call addRequiredSetting,TEMP_FREE_SPACE)
       
   196 ALL_SETTINGS+=$(call addRequiredSetting,FREE_SPACE)
       
   197 ALL_SETTINGS+=$(call addRequiredSetting,MB_OF_MEMORY)
   195 ALL_SETTINGS+=$(call addRequiredSetting,MB_OF_MEMORY)
   198 
   196 
   199 
   197 
   200 ALL_SETTINGS+=$(call addHeading,GNU Make Settings)
   198 ALL_SETTINGS+=$(call addHeading,GNU Make Settings)
   201 ALL_SETTINGS+=$(call addRequiredSetting,MAKE)
   199 ALL_SETTINGS+=$(call addRequiredSetting,MAKE)