diff options
| author | Dan Liew <delcypher@gmail.com> | 2013-12-19 03:41:31 -0800 |
|---|---|---|
| committer | Dan Liew <delcypher@gmail.com> | 2013-12-19 03:41:31 -0800 |
| commit | 542a604b42798f061ac7a2280279ea5e3db471d9 (patch) | |
| tree | dc4c9571f50ef84c99b4847eab7192574307d258 /Makefile.config.in | |
| parent | a45df61f6641ed0f6b92919bf377ce2ef1f1d839 (diff) | |
| parent | 99b748b47f97361f42c5c1778dde3f6542cd7a3e (diff) | |
| download | klee-542a604b42798f061ac7a2280279ea5e3db471d9.tar.gz | |
Merge pull request #80 from MartinNowack/fix_multiple_buildmodes
Allow different build modes for LLVM coexist (this issue can be avoided entirely if out of source builds are used and each build is its own directory)
Diffstat (limited to 'Makefile.config.in')
0 files changed, 0 insertions, 0 deletions