diff options
| author | Mate Soos <soos.mate@gmail.com> | 2015-12-04 00:05:53 +0000 |
|---|---|---|
| committer | Mate Soos <soos.mate@gmail.com> | 2015-12-04 00:05:53 +0000 |
| commit | cd2ccf035d5e5abaa3851da5d0ee88ca7cd97d40 (patch) | |
| tree | 3a060fc3aacc34ff55b7646ff181ef9426f5f762 /.dockerignore | |
| parent | 6b0082b01e60ea2361da401694ea5aa7f7a6e966 (diff) | |
| download | klee-cd2ccf035d5e5abaa3851da5d0ee88ca7cd97d40.tar.gz | |
Fixing klee-clang to strip all flags not understood by llvm-link
Diffstat (limited to '.dockerignore')
0 files changed, 0 insertions, 0 deletions