*** 761,770 **** --- 761,771 ---- # # Misc # INCLUDE_SA=@INCLUDE_SA@ + INCLUDE_GRAAL=@INCLUDE_GRAAL@ OS_VERSION_MAJOR:=@OS_VERSION_MAJOR@ OS_VERSION_MINOR:=@OS_VERSION_MINOR@ OS_VERSION_MICRO:=@OS_VERSION_MICRO@