commit | 01e898384e36ea8fbec93c7d780d1cbe85e273d2 | [log] [tgz] |
---|---|---|
author | Xin Li <delphij@google.com> | Thu Sep 05 16:53:28 2019 +0000 |
committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Thu Sep 05 16:53:28 2019 +0000 |
tree | ce202cbbfd6f17de3df40daa0951cbb6e073128a | |
parent | b4224e0f14bc66df11e570a84d7039c6fc29787b [diff] | |
parent | 2a4184366aed64d8c528bcb7a21db1a04c3b9771 [diff] |
Merge "DO NOT MERGE - Merge Android 10 into master"
diff --git a/Android.bp b/Android.bp index 01f038b..dcb52d4 100644 --- a/Android.bp +++ b/Android.bp
@@ -11,4 +11,9 @@ export_include_dirs: ["include"], sdk_version: "14", + // TODO(ivanlozano) b/124978545 + // sanitize: { + // integer_overflow: true, + // misc_undefined: ["bounds"], + // }, }