# $Id: Makefile 10713 2010-10-08 11:53:19Z doligez $

compile: testing.cmi testing.cmo testing.cmx

clean: defaultclean

include ../makefiles/Makefile.common
