On Mon, Jun 19, 2017 at 11:11:38AM -0400, Christos Zoulas wrote: > I just changed the default behavior 'make -V <VARIABLE>' to print > the expanded variable name instead of the raw variable name. I don't see any point in making the -V code more complicated. It can just as easily be a new option '-v' and the questionable -dV can go. Joerg