gptbot/0ad
1
0
Fork 0
forked from mirrors/0ad
Code Pull Requests Activity

The old debug API has been removed in SpiderMonkey 38, so remove profiler1 script profiling.

Browse Source 
Patch by leper, refs #3708

See also https://bugzilla.mozilla.org/show_bug.cgi?id=1069694

This was SVN commit r18580.
This commit is contained in:
Itms
2016-08-02 16:58:30 +00:00
parent 72ca6c5f80
commit 4e87fef3da
17 changed files with 27 additions and 121 deletions
Download Patch File Download Diff File Expand all files Collapse all files
binaries/data/config/default.cfg
-1
View File
@@ -372,7 +372,6 @@ netwarnings = "true" ; Show warnings if the network connection is b
[profiler2]
autoenable = false ; Enable HTTP server output at startup (default off for security/performance)
script.enable = false ; Enable Javascript profiling. Needs to be set before startup and can't be changed later. (default off for performance)
gpu.arb.enable = true ; Allow GL_ARB_timer_query timing mode when available
gpu.ext.enable = true ; Allow GL_EXT_timer_query timing mode when available
gpu.intel.enable = true ; Allow GL_INTEL_performance_queries timing mode when available