# $Id: Makefile 11113 2011-07-07 14:32:00Z maranget $

compile: testing.cmi testing.cmo testing.cmx

clean: defaultclean

include ../makefiles/Makefile.common
