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}