Hi Steve,
On Sun, Jan 13, 2019 at 11:28:00PM +0100, Thomas Koenig wrote:
the attached patch adds a -fwrite-module-files options, but the main
point is that it adds its opposite, -fno-write-module-files.
This has advantages in parallel compiling, as it is quite fast to
generate a module file w
On Sun, Jan 13, 2019 at 11:28:00PM +0100, Thomas Koenig wrote:
>
> the attached patch adds a -fwrite-module-files options, but the main
> point is that it adds its opposite, -fno-write-module-files.
>
> This has advantages in parallel compiling, as it is quite fast to
> generate a module file wit
