diff options
| author | André Fabian Silva Delgado <emulatorman@lavabit.com> | 2013-08-13 16:16:12 -0300 |
|---|---|---|
| committer | André Fabian Silva Delgado <emulatorman@lavabit.com> | 2013-08-13 16:16:12 -0300 |
| commit | 7edd43593eb38a73bdca7d8adf8be84061c4f962 (patch) | |
| tree | a48dce263d9acec6119bcab757cc94c50cd3137a /libre/iceweasel-libre/mozconfig.pgo | |
| parent | 380535053f7e41bef18e00f6e7670c72b6aa1c0c (diff) | |
iceweasel-libre: revert changes on PGO
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 71ba205a4..2f4ebe32b 100644 --- a/libre/iceweasel-libre/mozconfig.pgo +++ b/libre/iceweasel-libre/mozconfig.pgo @@ -1,3 +1,3 @@ # PGO -mk_add_options PROFILE_GEN_SCRIPT='EXTRA_TEST_ARGS=10 $(MAKE) -C $(MOZ_OBJDIR) pgo-profile-run' +mk_add_options PROFILE_GEN_SCRIPT='$(PYTHON) $(MOZ_OBJDIR)/_profile/pgo/profileserver.py 10' |