SKUID_IDENTIFIER = DEFAULT\r
FLASH_DEFINITION = OvmfPkg/OvmfPkg.fdf\r
\r
+[BuildOptions]\r
+ GCC:*_*_*_CC_FLAGS = -DMDEPKG_NDEBUG\r
+ INTEL:*_*_*_CC_FLAGS = /D MDEPKG_NDEBUG\r
+ MSFT:*_*_*_CC_FLAGS = /D MDEPKG_NDEBUG\r
+\r
################################################################################\r
#\r
# SKU Identification section - list of all SKU IDs supported by this Platform.\r
SKUID_IDENTIFIER = DEFAULT\r
FLASH_DEFINITION = OvmfPkg/OvmfPkgIa32X64.fdf\r
\r
+[BuildOptions]\r
+ GCC:*_*_*_CC_FLAGS = -DMDEPKG_NDEBUG\r
+ INTEL:*_*_*_CC_FLAGS = /D MDEPKG_NDEBUG\r
+ MSFT:*_*_*_CC_FLAGS = /D MDEPKG_NDEBUG\r
+\r
################################################################################\r
#\r
# SKU Identification section - list of all SKU IDs supported by this Platform.\r
SKUID_IDENTIFIER = DEFAULT\r
FLASH_DEFINITION = OvmfPkg/OvmfPkg.fdf\r
\r
+[BuildOptions]\r
+ GCC:*_*_*_CC_FLAGS = -DMDEPKG_NDEBUG\r
+ INTEL:*_*_*_CC_FLAGS = /D MDEPKG_NDEBUG\r
+ MSFT:*_*_*_CC_FLAGS = /D MDEPKG_NDEBUG\r
+\r
################################################################################\r
#\r
# SKU Identification section - list of all SKU IDs supported by this Platform.\r