diff options
Diffstat (limited to 'www-client/firefox/files/pgo.patch')
| -rw-r--r-- | www-client/firefox/files/pgo.patch | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/www-client/firefox/files/pgo.patch b/www-client/firefox/files/pgo.patch deleted file mode 100644 index 106bf598..00000000 --- a/www-client/firefox/files/pgo.patch +++ /dev/null @@ -1,13 +0,0 @@ -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-%: |