Re: make clean & config.cache; multiple platform support

[Shriram Krishnamurthi <shriram@cs.rice.edu>]

Assar Westerlund wrote:

> You should be able to build in two different directories from the same
> source directory, but I haven't tried it lately.

I didn't say you couldn't.  I was complaining about duplicates in the
material that gets installed.  It is indeed possible to build on
different platforms -- as my message said, I succeeded in doing so.

'shriram