diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2016-12-19 12:52:40 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2017-01-16 22:45:05 +0000 |
| commit | 1fce0acbf4498595e3901a6f7fdbe429587e3ef0 (patch) | |
| tree | b0a925e1de936f9b19369c18780a7492eb163f48 /lib/Core/Executor.h | |
| parent | 415232f18a08f5808bcf1582b374e0b7591c0c32 (diff) | |
| download | klee-1fce0acbf4498595e3901a6f7fdbe429587e3ef0.tar.gz | |
[CMake] If CMP0037 policy is available set it to NEW so that we
disallow using reserved target names.
Diffstat (limited to 'lib/Core/Executor.h')
0 files changed, 0 insertions, 0 deletions