diff options
author | Vicent Marti <tanoku@gmail.com> | 2013-05-03 19:35:50 +0400 |
---|---|---|
committer | Vicent Marti <tanoku@gmail.com> | 2013-05-03 19:35:50 +0400 |
commit | b641c00eebb3c60e8719c0dfc55dde91ca30a5d2 (patch) | |
tree | 444fc6c69c356fa0a966680f597650e50cd53329 /CMakeLists.txt | |
parent | 811c761fe14fbf14591d215b36594a332e54e3d3 (diff) |
clar: Always generate the test suite
Diffstat (limited to 'CMakeLists.txt')
-rw-r--r-- | CMakeLists.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/CMakeLists.txt b/CMakeLists.txt index 9f6b06bf1..5a228e342 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} ) |