On Wed, Jun 7, 2017 at 7:45 AM, Chen-Yu Tsai <wens at csie.org> wrote:
> at the bottom (with a comment) would be cleaner, and
> we wouldn't need to modify all the existing lines.
> AFAIK about Makefiles, that should work?
Ah, yes. That's much better.
Arnd