> It worries me that we're going to become *very* dependent on a > specific version of make all of a sudden.
Why? Where? The only thing that's GNU make specific is the variable defintion as a dependency, i.e. the suggested implementation of the build-debug target. But that's only a recommendation, you don't need to use it. Roman
