gameServer/CMakeLists.txt
changeset 6536 8a096836321c
parent 4568 f85243bf890e
child 6537 1df1f224f3e9
--- a/gameServer/CMakeLists.txt	Wed Dec 28 18:40:02 2011 +0300
+++ b/gameServer/CMakeLists.txt	Wed Dec 28 11:13:29 2011 -0500
@@ -24,6 +24,7 @@
 set(hwserv_main ${hedgewars_SOURCE_DIR}/gameServer/hedgewars-server.hs)
 
 set(ghc_flags
+    -O2
 	--make ${hwserv_main}
 	-i${hedgewars_SOURCE_DIR}/gameServer
 	-o ${EXECUTABLE_OUTPUT_PATH}/hedgewars-server${CMAKE_EXECUTABLE_SUFFIX}