From b9eb6c5b990b22468f138336ea857836c713e4c9 Mon Sep 17 00:00:00 2001
From: a-kenji <aks.kenji@protonmail.com>
Date: Thu, 18 Feb 2021 15:11:28 +0100
Subject: [PATCH] allow(clippy): single_match for signal handler

Should get more matches in the future.
---
 src/common/os_input_output.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/common/os_input_output.rs b/src/common/os_input_output.rs
index 132ff46d..26a7d497 100644
--- a/src/common/os_input_output.rs
+++ b/src/common/os_input_output.rs
@@ -83,6 +83,7 @@ fn handle_command_exit(mut child: Child) {
 
         for signal in signals.pending() {
             // FIXME: We need to handle more signals here!
+            #[allow(clippy::single_match)]
             match signal {
                 signal_hook::SIGINT => {
                     child.kill().unwrap();