*** 118,127 **** --- 118,128 ---- # After basic tools have been setup, we can check build os specific details. PLATFORM_SETUP_OPENJDK_BUILD_OS_VERSION # Misc basic settings BASIC_SETUP_DEFAULT_MAKE_TARGET + BASIC_SETUP_DEFAULT_LOG ############################################################################### # # Determine OpenJDK variants, options and version numbers. #