# $Id: Makefile 1855 2007-08-29 04:00:49Z denneau $

PROG = timing
MOPS_BIN = ${MOPS_HOME}/bin

$(PROG):

install:
	/bin/cp $(PROG) $(MOPS_BIN)
