freebsd-ports/www/firefox-esr/files/mozconfig-profile_guided_optimization.in
Beat Gaetzi d8add7cac4 - Update to 4.0
- 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!
2011-03-22 15:24:49 +00:00

1 line
85 B
Text

mk_add_options PROFILE_GEN_SCRIPT='@PYTHON@ $(OBJDIR)/_profile/pgo/profileserver.py'