Re: [9fans] HELP: recoving important header file rudely clobbered

[Richard Miller]

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%