diff options
| author | Julian Büning <julian.buening@rwth-aachen.de> | 2018-06-16 17:05:24 +0200 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2018-07-02 17:30:55 +0100 |
| commit | 418184ca8e35d6ced451d97fdcdda5b42ad14194 (patch) | |
| tree | f978b6bf5a27ad75345d7960407c36ccd54ebb4d /.travis | |
| parent | 4c15d279e4d92b204275e973f2cedb76f63b0ac3 (diff) | |
| download | klee-418184ca8e35d6ced451d97fdcdda5b42ad14194.tar.gz | |
CMake: check for ctype and mallinfo functions with CXX instead of C compiler
Diffstat (limited to '.travis')
0 files changed, 0 insertions, 0 deletions