diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2020-09-24 21:20:15 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-09-30 16:34:47 +0100 |
| commit | abec20c8cf805c4b2835608d561111da6e2e800f (patch) | |
| tree | a195da202adc461f814aab276dbb5342b1f3da8d /scripts/build/patches/llvm40.patch | |
| parent | 2fad33172fc5e7f5e03f7b7e4c753f7b2330bc0f (diff) | |
| download | klee-abec20c8cf805c4b2835608d561111da6e2e800f.tar.gz | |
Fix check if LLVM is installed
Diffstat (limited to 'scripts/build/patches/llvm40.patch')
0 files changed, 0 insertions, 0 deletions