##===- tools/klee/Makefile ---------------*- Makefile -*-===##

LEVEL=../..
TOOLNAME = gen-random-bout
USEDLIBS = kleeBasic.a

include $(LEVEL)/Makefile.common
