diff options
author | root <root@rshg054.dnsready.net> | 2013-06-27 01:08:30 -0700 |
---|---|---|
committer | root <root@rshg054.dnsready.net> | 2013-06-27 01:08:30 -0700 |
commit | 7851c02115b35e64fc3b827b29c79023d4518f6f (patch) | |
tree | 31fd94dd2170ee2c1a9cc08625c00b049df2c37e /libre/iceweasel-libre/mozconfig.pgo | |
parent | 38e0c9a91ef567c6656f4c45423160f0e3964250 (diff) |
Thu Jun 27 01:08:30 PDT 2013
Diffstat (limited to 'libre/iceweasel-libre/mozconfig.pgo')
-rw-r--r-- | libre/iceweasel-libre/mozconfig.pgo | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libre/iceweasel-libre/mozconfig.pgo b/libre/iceweasel-libre/mozconfig.pgo index 2f4ebe32b..71ba205a4 100644 --- a/libre/iceweasel-libre/mozconfig.pgo +++ b/libre/iceweasel-libre/mozconfig.pgo @@ -1,3 +1,3 @@ # PGO -mk_add_options PROFILE_GEN_SCRIPT='$(PYTHON) $(MOZ_OBJDIR)/_profile/pgo/profileserver.py 10' +mk_add_options PROFILE_GEN_SCRIPT='EXTRA_TEST_ARGS=10 $(MAKE) -C $(MOZ_OBJDIR) pgo-profile-run' |