# $Id: Makefile 10425 2010-05-19 11:33:23Z doligez $

OTHERSLIB=-I $(OTHERS)/unix -I $(OTHERS)/str

include Makefile.shared

dummy.mli:
	cp dummyUnix.mli dummy.mli
