ソースを参照

Use better optimisation options.

dtrg 17 年 前
コミット
5c12b869aa
2 ファイル変更2 行追加2 行削除
  1. 1 1
      plat/linux386/pmfile
  2. 1 1
      plat/pc86/pmfile

+ 1 - 1
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.

+ 1 - 1
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.