From 78777e802b6f676e6f7cab033e677c21d3cc3379 Mon Sep 17 00:00:00 2001 From: dtrg Date: Sun, 29 Apr 2007 23:02:23 +0000 Subject: [PATCH] Now using more conservative optimisation due to random seg fault issues. --- 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 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.