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

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

include $(LEVEL)/Makefile.common