Ross Boylan <[EMAIL PROTECTED]> writes: > I suspect the right thing is to make a separate directory for the > profile build anyway, since otherwise I may get confused and mix > different types of .o files (with and without -pg). In that case the > problem is easy to solve.
Yes, this is the right way. Profiling options belong to configuration (which persist across make invocations) rather than to make invocation. A seemingly elegant but not very robust approach is to have a special target and use target-specific variables. The problem stems from the multiple "paths" to build the same object file (but end up with different code) which leads to inconsistent builds. _______________________________________________ Help-make mailing list [email protected] http://lists.gnu.org/mailman/listinfo/help-make
