From bde74be6b20fe8dfc9191ccce29718a073166b81 Mon Sep 17 00:00:00 2001
From: gnzlbg <gonzalobg88@gmail.com>
Date: Sat, 17 Aug 2019 14:01:21 +0200
Subject: [PATCH] Rename armv7-wrs-vxworks target

---
 ci/build.sh | 2 +-
 src/lib.rs  | 7 ++++---
 2 files changed, 5 insertions(+), 4 deletions(-)

diff --git a/ci/build.sh b/ci/build.sh
index e63b4f7e..76af9e5f 100644
--- a/ci/build.sh
+++ b/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 \
diff --git a/src/lib.rs b/src/lib.rs
index 3c757f75..bc2a36ef 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -15,9 +15,10 @@
 #![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",