0.12.5dev: `make summary` is now slightly more robust.
Before, with GNU Make 3.82, it failed in mysterious ways with an `unterminated variable reference.` error.
Authored by: cboos 2012-10-28
Parent: [r11432]
Child: [r11434]