Merge "Revert "Disable C-compat verification for some headers."" into main
diff --git a/libc/Android.bp b/libc/Android.bp
index 1a5d3d1..42ffd37 100644
--- a/libc/Android.bp
+++ b/libc/Android.bp
@@ -2259,11 +2259,6 @@
"kernel/uapi/xen/**/*.h",
],
license: "NOTICE",
- // These don't pass the bad verification we do because many of them are
- // arch-specific, and they aren't necessarily independently includable.
- // That's not much of a problem though, since C-incompaitibilities in the
- // UAPI headers should run into problems long before they reach us.
- skip_verification: true,
}
ndk_headers {
@@ -2280,7 +2275,6 @@
to: "scsi",
srcs: ["kernel/android/scsi/**/*.h"],
license: "NOTICE",
- skip_verification: true,
}
ndk_headers {
@@ -2289,7 +2283,6 @@
to: "arm-linux-androideabi",
srcs: ["kernel/uapi/asm-arm/**/*.h"],
license: "NOTICE",
- skip_verification: true,
}
ndk_headers {
@@ -2298,7 +2291,6 @@
to: "aarch64-linux-android",
srcs: ["kernel/uapi/asm-arm64/**/*.h"],
license: "NOTICE",
- skip_verification: true,
}
ndk_headers {
@@ -2307,7 +2299,6 @@
to: "riscv64-linux-android",
srcs: ["kernel/uapi/asm-riscv/**/*.h"],
license: "NOTICE",
- skip_verification: true,
}
ndk_headers {
@@ -2316,7 +2307,6 @@
to: "i686-linux-android",
srcs: ["kernel/uapi/asm-x86/**/*.h"],
license: "NOTICE",
- skip_verification: true,
}
ndk_headers {
@@ -2325,7 +2315,6 @@
to: "x86_64-linux-android",
srcs: ["kernel/uapi/asm-x86/**/*.h"],
license: "NOTICE",
- skip_verification: true,
}
ndk_library {