diff options
author | Nicolás Reynolds <fauno@endefensadelsl.org> | 2014-02-03 14:09:45 -0300 |
---|---|---|
committer | Nicolás Reynolds <fauno@endefensadelsl.org> | 2014-02-03 14:09:45 -0300 |
commit | 308f6ff034c928c0c4fc2ce168df7192ca2b1209 (patch) | |
tree | 49603bf604b0d3b3e4e0f1d71d0a52380933aa36 /~emulatorman/icecat/mozconfig.pgo | |
parent | 99d72f453ab00a43e11f6903bf34d6cd27962a4f (diff) | |
parent | 964755f48fefde84fce71781d0744e2158f60814 (diff) |
Merge branch 'master' of vparabola:abslibre
Conflicts:
pcr/pandoc/PKGBUILD
Diffstat (limited to '~emulatorman/icecat/mozconfig.pgo')
-rw-r--r-- | ~emulatorman/icecat/mozconfig.pgo | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/~emulatorman/icecat/mozconfig.pgo b/~emulatorman/icecat/mozconfig.pgo deleted file mode 100644 index b0c249ebf..000000000 --- a/~emulatorman/icecat/mozconfig.pgo +++ /dev/null @@ -1,4 +0,0 @@ -# PGO -ac_add_options --enable-profile-guided-optimization -mk_add_options PROFILE_GEN_SCRIPT='$(PYTHON) $(MOZ_OBJDIR)/_profile/pgo/profileserver.py' -mk_add_options PYTHONPATH='$(OBJDIR)/_profile/pgo' |