diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2016-12-19 12:29:48 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2017-01-16 22:45:05 +0000 |
| commit | 01ba72697bc5476bfe486725c302bb2e0867076e (patch) | |
| tree | b3ee2a8faca19ea702a4a122e534628b7c8ff5ce /CMakeLists.txt | |
| parent | 4dded235b6de4254589719ce1870f6dd117095ea (diff) | |
| download | klee-01ba72697bc5476bfe486725c302bb2e0867076e.tar.gz | |
Remove undocumented and unused `check-local`, `check-dg` and `check-lit`
targets from Autoconf/Makefile build system. Having these around just confuses things.
Diffstat (limited to 'CMakeLists.txt')
0 files changed, 0 insertions, 0 deletions