ccadar/klee — pull request #80 by MartinNowack (2013-12-19 07:48:14+00:00)
Title: Allow different build modes for LLVM coexist

In case different build modes exists for one LLVM installation, use the first one.