diff --git a/plat/linux386/pmfile b/plat/linux386/pmfile index 87e20ba23..24adc42ef 100644 --- a/plat/linux386/pmfile +++ b/plat/linux386/pmfile @@ -25,7 +25,7 @@ local headers = group { platform_linux386 = group { ARCH = "i386", PLATFORM = "linux386", - OPTIMISATION = "-O6", + OPTIMISATION = "-O", -- Ensure the descr and headers are installed first because we'll need it -- to build the libraries. diff --git a/plat/pc86/pmfile b/plat/pc86/pmfile index f7d5733c4..0afe6a5b0 100644 --- a/plat/pc86/pmfile +++ b/plat/pc86/pmfile @@ -25,7 +25,7 @@ local headers = group { platform_pc86 = group { ARCH = "i86", PLATFORM = "pc86", - OPTIMISATION = "-O6", + OPTIMISATION = "-O", -- Ensure the descr and headers are installed first because we'll need -- them to build the libraries.