Commit b641c00eebb3c60e8719c0dfc55dde91ca30a5d2
2013-05-03T17:35:50
clar: Always generate the test suite
diff --git a/CMakeLists.txt b/CMakeLists.txt
index 9f6b06b..5a228e3 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -337,7 +337,7 @@ IF (BUILD_CLAR)
ADD_CUSTOM_COMMAND(
OUTPUT ${CLAR_PATH}/clar.suite
- COMMAND ${PYTHON_EXECUTABLE} generate.py -xonline .
+ COMMAND ${PYTHON_EXECUTABLE} generate.py -f -xonline .
DEPENDS ${SRC_TEST}
WORKING_DIRECTORY ${CLAR_PATH}
)