Renamed libs

Cleaner and more flexible.

1 files changed, 3 insertions, 3 deletions

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