diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2016-12-19 12:44:26 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2017-01-16 22:45:05 +0000 |
| commit | 415232f18a08f5808bcf1582b374e0b7591c0c32 (patch) | |
| tree | da2d8c726142eda9e0553b35e8e17cd864175cf1 /lib/Core/PTree.cpp | |
| parent | 01ba72697bc5476bfe486725c302bb2e0867076e (diff) | |
| download | klee-415232f18a08f5808bcf1582b374e0b7591c0c32.tar.gz | |
[CMake] Only add dependencies to `check` if the target is enabled.
Surprisingly the old code still worked even when the target didn't exist.
Diffstat (limited to 'lib/Core/PTree.cpp')
0 files changed, 0 insertions, 0 deletions