Skip to content
This repository has been archived by the owner on Aug 6, 2024. It is now read-only.

PGO Additions #1

Closed
wants to merge 5 commits into from
Closed

PGO Additions #1

wants to merge 5 commits into from

Conversation

szarkos
Copy link
Contributor

@szarkos szarkos commented Jan 31, 2012

Added PGO scripts and changes in client to enable pgo builds and concurrency.

szarkos and others added 5 commits January 31, 2012 10:15
- Add support for Git (multiple files)
- Add checks in branch.php for better last revision checking, which was
broken for concurrent (PGO) builds
- Added PGO and concurrent builds
@bjori
Copy link
Member

bjori commented Jan 22, 2014

2 years.... I'm guessing this is no longer valid? (github reports a conflict too)

@szarkos
Copy link
Contributor Author

szarkos commented Jan 22, 2014

Yes, should have closed this earlier. I have committed these fixes already anyway.

@szarkos szarkos closed this Jan 22, 2014
@bjori
Copy link
Member

bjori commented Jan 22, 2014

Good to hear.
And for the record, I would not have been able to close this as only you and Anatol have karma for this tool:
global_avail:avail|szarkos,ab|web/rmtools.git

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants