# $Id: Makefile,v 1.1.1.2 1998/12/30 18:34:09 danw Exp $

SHELL=/bin/sh

all:
	cd os/${OS} && ${MAKE} $@

check:
	cd os/${OS} && ${MAKE} $@

install:
	cd os/${OS} && ${MAKE} $@

clean:
	cd os/${OS} && ${MAKE} $@

distclean:
	cd os/${OS} && ${MAKE} $@