From: dtrg <none@none>
Date: Sun, 29 Apr 2007 21:24:17 +0000 (+0000)
Subject: Use better optimisation options.
X-Git-Tag: release-6-0-pre-3~5
X-Git-Url: https://git.ndcode.org/public/gitweb.cgi?a=commitdiff_plain;h=eb4ea1e7615655da893e4e2ba440769f31a0c491;p=ack.git

Use better optimisation options.
---

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.