I'm merging bug 7824 with this one. If we can find a way to safely emit additional dependencies to help these make implementation, then I am in favor of doing it. (We can wrap them in 'if !GNU_MAKE' if need be.)
Thanks, Ralf
I'm merging bug 7824 with this one. If we can find a way to safely emit additional dependencies to help these make implementation, then I am in favor of doing it. (We can wrap them in 'if !GNU_MAKE' if need be.)
Thanks, Ralf