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 | |
parent | 380535053f7e41bef18e00f6e7670c72b6aa1c0c (diff) | |
download | abslibre-7edd43593eb38a73bdca7d8adf8be84061c4f962.tar.gz abslibre-7edd43593eb38a73bdca7d8adf8be84061c4f962.tar.bz2 abslibre-7edd43593eb38a73bdca7d8adf8be84061c4f962.zip |
iceweasel-libre: revert changes on PGO
Diffstat (limited to 'libre/iceweasel-libre')
-rw-r--r-- | libre/iceweasel-libre/PKGBUILD | 9 | ||||
-rw-r--r-- | libre/iceweasel-libre/mozconfig.pgo | 2 |
2 files changed, 5 insertions, 6 deletions
diff --git a/libre/iceweasel-libre/PKGBUILD b/libre/iceweasel-libre/PKGBUILD index ea97945b6..a4c9ef5b1 100644 --- a/libre/iceweasel-libre/PKGBUILD +++ b/libre/iceweasel-libre/PKGBUILD @@ -57,7 +57,7 @@ source=("$_debrepo/`debfile $_debname`_$_debver.orig.tar.bz2" md5sums=('567bfd5b1bc0639b4f2e53a6e921ed5d' '1681363327ec8642ddb615bc20cb41c2' '2d7ac85c32df6a4ccfcc6de7a1420bf7' - 'df08eaa1ac3bc6c2356be4fbf8ec8932' + '383e8e2a97a8b13fe56d153adb6878b6' '4f656688fe7bc0b11899369e0e23e516' '7b9e5996dd9fe0b186a43a297db1c6b5' 'abf5ecb74caa857abb42bcfbb3442d9c' @@ -170,13 +170,12 @@ build() { if $_pgo; then export DISPLAY=:99 Xvfb -nolisten tcp -extension GLX -screen 0 1280x1024x24 $DISPLAY & + _fail=0 - if ! make -f client.mk build MOZ_PGO=1; then - kill $! - return 1 - fi + make -f client.mk build MOZ_PGO=1 || _fail=1 kill $! || true + return $_fail else make -f client.mk build fi 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' |