Christoph M. Becker 296b18bb44 Fix #77728: pgort140.DLL missing ...

If a PGO build is requested, but a build error occurs after the PGI
build has succeeded and before the PGO build has even been attempted
(for instance, if the PGO training fails), we may get a bogus archive
containing the PGI build, without any hint.

We apply a quick fix which bails out early, because if the PGI build
failed, it makes no sense to do the PGO build, and if the binaries
couldn't be built, it makes no sense to create the archive.  However,
we still allow the PGO training to fail for snapshot builds.

2019-12-19 11:24:30 +01:00

8.4 KiB

Raw Permalink Blame History

View Raw