From eb4ea1e7615655da893e4e2ba440769f31a0c491 Mon Sep 17 00:00:00 2001 From: dtrg Date: Sun, 29 Apr 2007 21:24:17 +0000 Subject: [PATCH] Use better optimisation options. --- plat/linux386/pmfile | 2 +- plat/pc86/pmfile | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/plat/linux386/pmfile b/plat/linux386/pmfile index 24adc42ef..87e20ba23 100644 --- a/plat/linux386/pmfile +++ b/plat/linux386/pmfile @@ -25,7 +25,7 @@ local headers = group { platform_linux386 = group { ARCH = "i386", PLATFORM = "linux386", - OPTIMISATION = "-O", + OPTIMISATION = "-O6", -- 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 0afe6a5b0..f7d5733c4 100644 --- a/plat/pc86/pmfile +++ b/plat/pc86/pmfile @@ -25,7 +25,7 @@ local headers = group { platform_pc86 = group { ARCH = "i86", PLATFORM = "pc86", - OPTIMISATION = "-O", + OPTIMISATION = "-O6", -- Ensure the descr and headers are installed first because we'll need -- them to build the libraries. -- 2.34.1