/tmp/mmake.*

[Fergus Henderson]

Hi,

I recently committed a change which introduced a bug where `mmake'
stopped removing its temporary files.  Thus /tmp on murlibobo
has by now a fine collection of /tmp/mmake.* files.  It would be
helpful if those who have used mmake in the last 48 hours could
do `rm -f /tmp/mmake.*'.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>   |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>   |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3         |     -- the last words of T. S. Garp.