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

jni-rs update

Browse source
This commit is contained in:
Paul Rouget 2018-09-24 16:24:50 +08:00
parent 647796ede6
commit 95d660e077
3 changed files with 76 additions and 88 deletions
Download patch file Download diff file Expand all files Collapse all files

4
ports/libsimpleservo/Cargo.toml
View file

@ -20,9 +20,7 @@ serde_json = "1.0"
[target.'cfg(target_os = "android")'.dependencies]
android_injected_glue = "0.2"
android_logger = "0.6"
# FIXME: use `jni = "0.10.2"` once
# https://github.com/prevoty/jni-rs/pull/98 lands and is published
jni = { git = "https://github.com/paulrouget/jni-rs", branch = "return_javavm" }
jni = "0.10.2"
[target.'cfg(not(target_os = "macos"))'.dependencies]
libc = "0.2"