diff options
| author | Timotej Kapus <k.apus@hotmail.com> | 2015-06-16 18:14:58 +0100 |
|---|---|---|
| committer | Timotej Kapus <k.apus@hotmail.com> | 2015-06-16 18:14:58 +0100 |
| commit | 7844d5f9b9057197b7392efca46ed79c82e66dc5 (patch) | |
| tree | 24c2a575e3b7f9b4cba4a900eea20805ce6687c1 /Makefile.config.in | |
| parent | c6d650e995058b6a5b9579fdd417984a984bad23 (diff) | |
| download | klee-7844d5f9b9057197b7392efca46ed79c82e66dc5.tar.gz | |
added COVERAGE=0 to dockerfile, factored out coverage build flags to be only set when COVERAGE is, added the python server script to scripts
Diffstat (limited to 'Makefile.config.in')
0 files changed, 0 insertions, 0 deletions