From 5af09f2ed89ed0d96644eb88717b002823e6d4b1 Mon Sep 17 00:00:00 2001
From: Tim Fischer <fischeti@iis.ee.ethz.ch>
Date: Mon, 2 Sep 2024 16:01:23 +0200
Subject: [PATCH] src: Make linter happy

---
 build/runtime.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build/runtime.rs b/build/runtime.rs
index c03f248..fd1de08 100644
--- a/build/runtime.rs
+++ b/build/runtime.rs
@@ -22,7 +22,7 @@ pub fn build() {
             "--crate-type=staticlib",
             "-Copt-level=3",
             "-Cdebuginfo=0",
-            "-Cpanic=abort"
+            "-Cpanic=abort",
         ])
         .status()
         .unwrap();