Use better optimisation options.

2007-04-29 21:24:17 +00:00
parent 494d9a3e4a
commit eb4ea1e761
2 changed files with 2 additions and 2 deletions
--- 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.
--- 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.