From 061ab61f566b69b98edf217f600e79b1159845c7 Mon Sep 17 00:00:00 2001
From: utam0k <k0ma@utam0k.jp>
Date: Sun, 23 Apr 2023 11:56:14 +0000
Subject: [PATCH] Fix lint

---
 src/runtime/linux.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/runtime/linux.rs b/src/runtime/linux.rs
index 06a1619576..2ee7adfaeb 100644
--- a/src/runtime/linux.rs
+++ b/src/runtime/linux.rs
@@ -184,6 +184,7 @@ pub enum LinuxDeviceType {
     P,
 }
 
+#[allow(clippy::derivable_impls)] // because maeking it clear that All is the default
 impl Default for LinuxDeviceType {
     fn default() -> LinuxDeviceType {
         LinuxDeviceType::A