Auto merge of #1480 - gnzlbg:fix_build2, r=gnzlbg

Rename armv7-wrs-vxworks target

ci/build.sh

@@ -224,7 +224,7 @@ x86_64-unknown-haiku \
 x86_64-unknown-hermit \
 x86_64-unknown-l4re-uclibc \
 x86_64-unknown-openbsd \
-armv7-wrs-vxworks \
+armv7-wrs-vxworks-eabihf \
 aarch64-wrs-vxworks \
 i686-wrs-vxworks \
 x86_64-wrs-vxworks \

src/lib.rs

@@ -15,9 +15,13 @@
 #![crate_name = "libc"]
 #![crate_type = "rlib"]
 #![cfg_attr(libc_deny_warnings, deny(warnings))]
-#![allow(bad_style, overflowing_literals, improper_ctypes, unknown_lints)]
-// FIXME: this is due to a rustc bug
-#![allow(redundant_semicolon)]
+#![allow(
+    bad_style,
+    overflowing_literals,
+    improper_ctypes,
+    unknown_lints,
+    redundant_semicolon
+)]
 // Attributes needed when building as part of the standard library
 #![cfg_attr(
     feature = "rustc-dep-of-std",