diff options
author | Dan Albert <danalbert@google.com> | 2021-04-28 00:41:29 +0000 |
---|---|---|
committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | 2021-04-28 00:41:29 +0000 |
commit | 1432fccf1f2154a2008121a504f411f65ddde5af (patch) | |
tree | eb1b6622bb33a51fd48430de7900c04e62c6a25b | |
parent | 0bfcaa4c6e4498ec5015d6e2c7f3800a956f2004 (diff) | |
parent | cbd293e999d4eb185c9c05a7498c831d9c1cefa6 (diff) | |
download | untrusted-1432fccf1f2154a2008121a504f411f65ddde5af.tar.gz |
Merge "Allow lint not compatible with this version."
-rw-r--r-- | src/untrusted.rs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/untrusted.rs b/src/untrusted.rs index b9f1439..a9d7f7b 100644 --- a/src/untrusted.rs +++ b/src/untrusted.rs @@ -100,6 +100,9 @@ variant_size_differences, warnings )] +// ANDROID: This lint is included in warnings and thus forbidden, but this version of the library +// is not compatible with it. +#![allow(non_autolinks)] #![no_std] // ANDROID: Unconditionally use std to allow building as a dylib. |