ccadar/klee-uclibc — pull request #6 by MartinNowack (2013-12-19 09:15:30+00:00)
Title: Link bc files together to one bc if clang is used

This is fix/workaround to use uClibc with KLEE & LLVM 3.3.

By linking all files into one .bc file we avoid relinking for every execution with KLEE.
This is a huge performance boost for ccadar/klee#70.