From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <2360eb4935c1757c98ddfd4b97a7c511@hamnavoe.com>
To: 9fans@9fans.net
From: Richard Miller <9fans@hamnavoe.com>
Date: Thu,  3 Feb 2011 10:23:14 +0000
In-Reply-To: <86vd12z28l.fsf@cmarib.ramside>
MIME-Version: 1.0
Content-Type: text/plain; charset="US-ASCII"
Content-Transfer-Encoding: 7bit
Subject: Re: [9fans] HELP: recoving important header file rudely clobbered
Topicbox-Message-UUID: aa2b7d28-ead6-11e9-9d60-3106f5b1d025

On the other hand, can anyone explain this?

term% cat foo.mk
%:	/dev/null
	echo making $target
term% mk -f foo.mk x.y
echo making x.y
making x.y
term% mk -f foo.mk x.y z.w
echo making x.y
making x.y
echo making z.w
making z.w
echo making command line arguments
making command line arguments
term%