gameServer/CMakeLists.txt
changeset 10070 87fa6d14187f
parent 10068 cbe06dc07332
child 10090 a471a7bbc339
--- 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}