On Mon, Feb 10, 2020 at 06:18:09PM +0100, Andrea Bolognani wrote:
More details in the commit message for patch 7/8.
Pavel pointed out today that the current method of triggering MinGW
builds using our CI scaffolding, eg.
$ make ci-build@fedora-30 CI_CONFIGURE=mingw64-configure
is easy to get
On Mon, 2020-02-10 at 18:18 +0100, Andrea Bolognani wrote:
> More details in the commit message for patch 7/8.
>
> Pavel pointed out today that the current method of triggering MinGW
> builds using our CI scaffolding, eg.
>
> $ make ci-build@fedora-30 CI_CONFIGURE=mingw64-configure
>
> is easy
More details in the commit message for patch 7/8.
Pavel pointed out today that the current method of triggering MinGW
builds using our CI scaffolding, eg.
$ make ci-build@fedora-30 CI_CONFIGURE=mingw64-configure
is easy to get wrong and not very discoverable, so I took that as
motivation to im
