# HG changeset patch
# User unc0rr
# Date 1325088809 18000
# Node ID 8a096836321cd7779ba6dca8c740261d824bb6ec
# Parent  51a7e71ad31703d986dbcba874efc37d8a949a39
add -O2

diff -r 51a7e71ad317 -r 8a096836321c gameServer/CMakeLists.txt
--- 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}