diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2017-07-24 10:12:13 +0100 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2017-07-24 10:13:31 +0100 |
| commit | a9a310e40cd8f6505464dd595dd28f2987cdbf5c (patch) | |
| tree | fd3b8e1419a070f85f9e5aa5f5a87941473d2168 /.travis | |
| parent | c0d1bfe5386d73f9998e439a0e28e5ec6a4083e1 (diff) | |
| download | klee-a9a310e40cd8f6505464dd595dd28f2987cdbf5c.tar.gz | |
[CMake] Add a sanity check to the runtime build system so that we
provide a better error message (and stop earlier) when no C source files are found.
Diffstat (limited to '.travis')
0 files changed, 0 insertions, 0 deletions