1 2 3 4 5 6 7
##===- tools/klee/Makefile ---------------*- Makefile -*-===## LEVEL=../.. TOOLNAME = gen-random-bout USEDLIBS = kleeBasic.a include $(LEVEL)/Makefile.common