diff options
author | Marvin Borner | 2020-09-15 22:30:45 +0200 |
---|---|---|
committer | Marvin Borner | 2020-09-15 22:30:45 +0200 |
commit | 857c228909603d1a27a40f2714f8b9076fabba6e (patch) | |
tree | 19fe7eb4f41975de4a161d4ef55fcd4fba4fbec6 /run | |
parent | 1a99700287749211aec38cb58ea2664585154794 (diff) |
Keymaps n stuff
Diffstat (limited to 'run')
-rwxr-xr-x | run | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -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 |