diff options
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' |