Use kernel user helpers for armv4t

Rename armv5te cfg to kernel_user_helpers and enable it for armv4t
2017-12-26 13:01:02 -02:00
parent e60a233da0
commit 90bd768b20
2 changed files with 3 additions and 3 deletions
--- a/library/compiler-builtins/src/lib.rs
+++ b/library/compiler-builtins/src/lib.rs
@@ -52,7 +52,7 @@ pub mod mem;
 #[cfg(target_arch = "arm")]
 pub mod arm;

-#[cfg(all(armv5te, target_os = "linux", target_arch = "arm"))]
+#[cfg(all(kernel_user_helpers, target_os = "linux", target_arch = "arm"))]
 pub mod arm_linux;

 #[cfg(target_arch = "x86")]