diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2017-03-30 10:14:54 +0100 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2017-03-30 14:12:23 +0100 |
| commit | ec3ac104af50e07f3430a35b3ffae0c340fcb78f (patch) | |
| tree | cb29dd78ba78a9ea85acb7cea557b75c887a7ae5 /runtime | |
| parent | 08e79adeb0c732de443eb81122594d03c39248b3 (diff) | |
| download | klee-ec3ac104af50e07f3430a35b3ffae0c340fcb78f.tar.gz | |
[CMake] When supported pass `USES_TERMINAL` argument to
`ExternalProject_Add_Step()` so that when using Ninja the output of the bitcode build system is shown immediately.
Diffstat (limited to 'runtime')
| -rw-r--r-- | runtime/CMakeLists.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/runtime/CMakeLists.txt b/runtime/CMakeLists.txt index 1e680e5d..c980a27a 100644 --- a/runtime/CMakeLists.txt +++ b/runtime/CMakeLists.txt @@ -111,6 +111,7 @@ ExternalProject_Add_Step(BuildKLEERuntimes RuntimeBuild COMMAND ${ENV_BINARY} MAKEFLAGS="" ${MAKE_BINARY} -f Makefile.cmake.bitcode all ALWAYS ${EXTERNAL_PROJECT_BUILD_ALWAYS_ARG} WORKING_DIRECTORY "${CMAKE_CURRENT_BINARY_DIR}" + ${EXTERNAL_PROJECT_ADD_STEP_USES_TERMINAL_ARG} ) # FIXME: Invoke `make clean` in the bitcode build system |