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

android/ohos: Fix wrong production cfg (#33488)

Browse source 
Our build script sets `servo_production` and not `production`.

Signed-off-by: Jonathan Schwender <schwenderjonathan@gmail.com>
This commit is contained in:
Jonathan Schwender 2024-09-18 09:42:52 +02:00 • committed by GitHub
parent bd632fc814
commit 313fc663a6
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
3 changed files with 2 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

3
ports/servoshell/Cargo.toml
View file

@ -131,6 +131,3 @@ sig = "1.0"
webxr = { git = "https://github.com/servo/webxr", features = ["ipc", "glwindow", "headless", "openxr-api"] }
windows-sys = { workspace = true, features = ["Win32_Graphics_Gdi"] }
libservo = { path = "../../components/servo", features = ["no-wgl"] }
[lints.rust]
unexpected_cfgs = { level = "allow", check-cfg = ['cfg(production)'] }