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 /.gitignore | |
| 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 '.gitignore')
0 files changed, 0 insertions, 0 deletions