diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2016-12-17 23:56:41 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2016-12-18 14:44:58 +0000 |
| commit | fd7d94baa3e5a8462d70e975da0cf09d435c0776 (patch) | |
| tree | 1f7125200929a4ae699353bcfbc77f63d6019e49 /CMakeLists.txt | |
| parent | ff8fa19642baed8100c7d47bf1e92aaf864758f0 (diff) | |
| download | klee-fd7d94baa3e5a8462d70e975da0cf09d435c0776.tar.gz | |
[TravisCI] When building with the old build system move back
to the root of the build tree after doing the hack the generate the lit configuration files. This will make it easier in the future to run more test configurations (e.g. by passing options to lit to change KLEE's behaviour).
Diffstat (limited to 'CMakeLists.txt')
0 files changed, 0 insertions, 0 deletions