PHP :: Bug #77983 :: PGO build not attempted

Bug #77983	PGO build not attempted
Submitted:	2019-05-07 17:36 UTC	Modified:	2019-06-28 08:26 UTC
From:	celestinoxp at hotmail dot com	Assigned:	cmb (profile)
Status:	Closed	Package:	*General Issues
PHP Version:	master-Git-2019-05-07 (Git)	OS:	Windows10
Private report:	No	CVE-ID:	None

View Add Comment Developer Edit

Anyone can comment on a bug. Have a simpler test case? Does it work for you on a different platform? Let us know!
Just going to say 'Me too!'? Don't clutter the database with that please !

Your email address: MUST BE VALID
Solve the problem: 39 - 36 = ?
Subscribe to this entry?

[2019-05-07 17:36 UTC] celestinoxp at hotmail dot com

Description:
------------
Last builds in https://windows.php.net/downloads/snaps/master/
reporting error.

json files reporting that:

{"stats":{"warning":0,"error":1},"has_php_pkg":false,"has_debug_pkg":false,"has_devel_pkg":false,"has_test_pkg":false,"build_error":["PGO build not attempted"]}

Patches

Add a Patch

Pull Requests

Add a Pull Request

History

AllCommentsChangesGit/SVN commitsRelated reports

[2019-05-07 18:12 UTC] cmb@php.net

-Status: Open +Status: Verified -Assigned To: +Assigned To: cmb

[2019-05-07 18:12 UTC] cmb@php.net

Thanks for reporting!  I'll have a look at it as soon as possible.

[2019-05-07 18:12 UTC] cmb@php.net

Thanks for reporting!  I'll have a look at it as soon as possible.

[2019-05-07 22:27 UTC] cmb@php.net

-Status: Verified +Status: Closed

[2019-05-07 22:27 UTC] cmb@php.net

This bug has been fixed[1], and the master snapshot builds are back
on track.

[1] <http://git.php.net/?p=web/rmtools.git;a=commit;h=793e67a7c77c8123d6857b2c5fd958f5194ae3fb>

[2019-06-28 08:21 UTC] celestinoxp at hotmail dot com

Problem occurs again! Can you check?

[2019-06-28 08:26 UTC] cmb@php.net

Thanks for the ping!  The problem is almost certainly related to a
recent commit which broke the Windows builds.  This has been fixed
now, so likely the next snapshots will be good again.

	php.net \| support \| documentation \| report a bug \| advanced search \| search howto \| statistics \| random bug \| login
go to bug id or search bugs for


Copyright © 2001-2024 The PHP Group All rights reserved.	Last updated: Wed May 15 18:01:34 2024 UTC