[m-rev.] for (possibly post-commit) review: simplify the creation of .int files

[Julien Fischer]

On Fri, 15 Feb 2019, Zoltan Somogyi wrote:

>
>
> On Fri, 15 Feb 2019 05:35:14 +0000 (UTC), Julien Fischer <jfischer at opturion.com> wrote:
>>> Given that fact, and given that this diff has passed a hlc bootcheck cleanly,
>>> are people ok with me committing this diff now?
>>
>> You haven't actually attached the diff.
>
> Sorry. I have long wished for a user mail agent feature that
> pops up a warning if you press "send" on an email that contains
> "attached" without anything actually being attached.
>
>>> And does anyone want to put their hand up to say they will review it?
>>
>> I will review it.
>
> Thank you. Do you want me to wait for the review before I commit?

No, you can go ahead and commit it; tonight's ROTD build will act as
a further test of it.

Julien.