#!/bin/sh

# User-controllable options
grub_modinfo_target_cpu=@target_cpu@
grub_modinfo_platform=@platform@
grub_disk_cache_stats=@DISK_CACHE_STATS@
grub_boot_time_stats=@BOOT_TIME_STATS@
grub_have_font_source=@HAVE_FONT_SOURCE@

# Autodetected config
grub_have_asm_uscore=@HAVE_ASM_USCORE@
grub_i8086_addr32="@ADDR32@"
grub_i8086_data32="@DATA32@"
grub_bss_start_symbol="@BSS_START_SYMBOL@"
grub_end_symbol="@END_SYMBOL@"

# Build environment
grub_target_cc='@TARGET_CC@'
grub_target_cflags='@TARGET_CFLAGS@'
grub_target_cppflags='@TARGET_CPPFLAGS@'
grub_target_ccasflags='@TARGET_CCASFLAGS@'
grub_target_ldflags='@TARGET_LDFLAGS@'
grub_target_strip='@TARGET_STRIP@'
grub_target_nm='@TARGET_NM@'
grub_target_ranlib='@TARGET_RANLIB@'
grub_target_objconf='@TARGET_OBJCONV@'
grub_target_obj2elf='@TARGET_OBJ2ELF@'

# Version
grub_version="@VERSION@"
grub_package="@PACKAGE@"
grub_package_string="@PACKAGE_STRING@"
grub_package_version="@PACKAGE_VERSION@"
grub_package_name="@PACKAGE_NAME@"
grub_package_bugreport="@PACKAGE_BUGREPORT@"