From 857c228909603d1a27a40f2714f8b9076fabba6e Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Tue, 15 Sep 2020 22:30:45 +0200
Subject: Keymaps n stuff

---
 run | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'run')

diff --git a/run b/run
index f0665f9..3fa2a5a 100755
--- a/run
+++ b/run
@@ -160,7 +160,8 @@ make_sync() {
     output=$(make --always-make --dry-run)
     echo "$output" | make_append_commands libc libk libc
     echo "$output" | make_append_commands libk libgui libgui
-    echo "$output" | make_append_commands libgui kernel kernel
+    echo "$output" | make_append_commands libgui libtxt libtxt
+    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