From 52bb1524443f7fe7152b86b9ef85284a586bd600 Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Sun, 3 Mar 2019 01:34:02 +0100
Subject: [PATCH] allowd unused types ggid_t and uuid_t

---
 src/unix/hermit/mod.rs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/unix/hermit/mod.rs b/src/unix/hermit/mod.rs
index 0c372f12..f19bba4a 100644
--- a/src/unix/hermit/mod.rs
+++ b/src/unix/hermit/mod.rs
@@ -19,7 +19,9 @@
 pub type c_long = i64;
 pub type c_ulong = u64;
 
+#[allow(unused)]
 pub type uid_t = u16;
+#[allow(unused)]
 pub type gid_t = u16;
 pub type speed_t = ::c_uint;
 pub type mode_t = u32;
-- 
GitLab