On 11/17/2010 08:15 PM, Blue Swirl wrote:
If the user attempts to run 'configure' in the source tree, create an object directory and configure that instead.Rename topmost Makefile to Makefile.top. Add a new Makefile, which is only used when user attempts to run 'make' in the source tree.
Interesting, but what's the point? It hardly simplifies code, since $source_path_used can be eliminated anyway...
Paolo
