diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2020-01-28 03:13:58 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-01-28 03:13:58 -0500 |
| commit | 4e56b8606b156efbcbcdf62bb9827518eab453f5 (patch) | |
| tree | 42c5bd13157c1b64bd37b6f876fec88d31306033 /components/script/dom | |
| parent | 1b7223a284cd8f780d2856a50747ffc97beffd23 (diff) | |
| parent | 3adf62dd7b1032ea7906de646063a97e9fe7397d (diff) | |
| download | servo-4e56b8606b156efbcbcdf62bb9827518eab453f5.tar.gz servo-4e56b8606b156efbcbcdf62bb9827518eab453f5.zip | |
Auto merge of #25626 - servo:jdm-patch-35, r=Manishearth
Add profilemozjs feature to embedding
This makes it possible to obtain better profiling output from the JS engine when building for an embedder like the HoloLens.
Diffstat (limited to 'components/script/dom')
0 files changed, 0 insertions, 0 deletions