From 05498860e8f7b1e8bb27880bc7526de026694804 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Fri, 26 Mar 2021 21:55:50 +0100
Subject: Renamed libs

Cleaner and more flexible.
---
 run | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'run')

diff --git a/run b/run
index 27a7f5f..e5af53a 100755
--- a/run
+++ b/run
@@ -213,9 +213,9 @@ make_sync() {
 
     rm -f compile_commands.json
     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 libtxt libtxt
+    echo "$output" | make_append_commands libc libk libs/libc
+    echo "$output" | make_append_commands libk libgui libs/libgui
+    echo "$output" | make_append_commands libgui libtxt libs/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
-- 
cgit v1.2.3