about summary refs log tree commit diff homepage
path: root/runtime/klee-uclibc/Makefile
AgeCommit message (Expand)Author
2014-01-09Fixed race condition in parallel build where a symbolic linkDan Liew
2013-12-21klee-uclibc detection is now a lot cleaner. KLEE now assumesDan Liew