# HG changeset patch
# User koda
# Date 1390563843 -3600
# Node ID 87fa6d14187fd140adcef96e656417d5de688abd
# Parent  c4ad9c76b5426996ad86b46f51bc3a6cca066d51
ghc ooops

diff -r c4ad9c76b542 -r 87fa6d14187f gameServer/CMakeLists.txt
--- a/gameServer/CMakeLists.txt	Fri Jan 24 11:11:39 2014 +0100
+++ b/gameServer/CMakeLists.txt	Fri Jan 24 12:44:03 2014 +0100
@@ -32,7 +32,7 @@
 
 set(ghc_flags
     --make ${hwserv_main}
-    -i ${CMAKE_CURRENT_SOURCE_DIR}
+    -i${CMAKE_CURRENT_SOURCE_DIR}
     -o ${EXECUTABLE_OUTPUT_PATH}/hedgewars-server${CMAKE_EXECUTABLE_SUFFIX}
     -odir ${CMAKE_CURRENT_BINARY_DIR}
     -hidir ${CMAKE_CURRENT_BINARY_DIR}