Makefile « gen-random-bout « tools - ~cnx/klee - KLEE fork for patch differentiation testing

about summary refs log tree commit diff homepage

path: root/tools/gen-random-bout/Makefile

blob: 97315af281d852e340ac239b48dde73d24bc8792 (plain) (blame)

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

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

include $(LEVEL)/Makefile.common