Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-09-27 15:20:09 +01:00
Code Issues Projects Releases Packages Wiki Activity

Use MozTools 4 and update mozjs (#30326)

Browse source 
* Update mozjs

* moztools4 in bootstrap

* no autoconf

* tidy

* switch to servo-build-deps

* update mozjs for real

* glue mozjs

* fmt

* move to servo/mozjs
This commit is contained in:
Samson 2023-09-11 10:23:05 +02:00 • committed by GitHub
parent 9b1247b20f
commit 59d134133f
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
11 changed files with 46 additions and 20 deletions
Download patch file Download diff file Expand all files Collapse all files

3
servo-tidy.toml
View file

@ -73,6 +73,9 @@ packages = [
# Duplicated by servo-media.
"uuid",
# style/webxr (0.62) vs. mozjs_sys (0.66)
"bindgen",
]
# Files that are ignored for all tidy and lint checks.
files = [