about summary refs log tree commit diff homepage
path: root/Makefile.common
AgeCommit message (Expand)Author
2010-04-05Fix some final objdir != src problems.Daniel Dunbar
2010-04-05STP: Switch build to using LLVM style Makefiles.Daniel Dunbar
2010-03-14Update for 2.7.Daniel Dunbar
2009-05-22Look for Makefile.rules in the right directory.Daniel Dunbar
2009-05-21Initial KLEE checkin.Daniel Dunbar