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