d8add7cac4
- Add PGO option to enable Profile-Guided Optimization [1]. PR: ports/132231 [1] (based on) Submitted by: lioux@ [1] Thanks to: andreast@, Anonymous <swell.k AT gmail.com>, decke@, jsa@, swills@ and all the testers for their feedback!
1 line
85 B
Text
1 line
85 B
Text
mk_add_options PROFILE_GEN_SCRIPT='@PYTHON@ $(OBJDIR)/_profile/pgo/profileserver.py'
|