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();