# $Id: Makefile,v 1.1.1.1 2000/02/16 23:32:47 shmit Exp $
#
# Do not edit this file. Edit the files in Makefiles instead.
#

all:
	@tools/build ${MAKE} $@

.DEFAULT:
	@tools/build ${MAKE} $@