# $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} $@