From 0648818bb141cec9a5513933a3129e965250e19c Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Tue, 16 Mar 2021 12:25:02 +0100
Subject: Cleanup and atexit

---
 run | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'run')

diff --git a/run b/run
index cd03ba3..bf27b42 100755
--- a/run
+++ b/run
@@ -216,8 +216,7 @@ make_sync() {
     echo "$output" | make_append_commands libc libk libc
     echo "$output" | make_append_commands libk libgui libgui
     echo "$output" | make_append_commands libgui libtxt libtxt
-    echo "$output" | make_append_commands libtxt libnet libnet
-    echo "$output" | make_append_commands libnet kernel kernel
+    echo "$output" | make_append_commands libtxt kernel kernel
     echo "$output" | make_append_commands kernel boot boot
     echo "$output" | make_append_commands boot apps apps
     tr <compile_commands.json '\n' '\r' | sed -e 's/\r]\r\[/,/g' | tr '\r' '\n' >tmp
-- 
cgit v1.2.3