On Wed, Jun 7, 2017 at 7:45 AM, Chen-Yu Tsai <w...@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
