diff options
Diffstat (limited to 'www-client/firefox/files/pgo.patch')
| -rw-r--r-- | www-client/firefox/files/pgo.patch | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/www-client/firefox/files/pgo.patch b/www-client/firefox/files/pgo.patch new file mode 100644 index 00000000..106bf598 --- /dev/null +++ b/www-client/firefox/files/pgo.patch @@ -0,0 +1,13 @@ +diff -Nur a/Makefile.in b/Makefile.in +--- a/Makefile.in 2015-01-06 07:07:53.000000000 +0200 ++++ b/Makefile.in 2015-02-22 02:54:01.523914597 +0200 +@@ -301,6 +301,9 @@ + @relcount=`find $(DIST)/bin -name '*.so' | xargs objdump -R | grep R_386_PC32 | wc -l` && if test $$relcount -gt 0; then echo 'FAILED: R_386_PC32 relocations detected in a shared library. Did you use a system header without adding it to config/system-headers?'; exit 1; else echo 'PASSED'; fi + endif + ++pgo-profile-run: ++ $(PYTHON) $(topsrcdir)/build/pgo/profileserver.py $(EXTRA_TEST_ARGS) ++ + ifdef JS_STANDALONE + # Delegate js-specific rules to js + check-%: |