diff options
author | Marvin Borner | 2020-10-24 13:23:15 +0200 |
---|---|---|
committer | Marvin Borner | 2020-10-24 13:23:15 +0200 |
commit | f97f8a0bb4a657220495a9a546fccb01eafadc84 (patch) | |
tree | 24a80f21576e6efa5a63b2231c9248eff6088db8 /run | |
parent | f0fe7c5ff003c714e76a7522967a0519a191cdf7 (diff) |
Merged loader_search make fixes
Idk why I committed them in the wrong branch...
Diffstat (limited to 'run')
-rwxr-xr-x | run | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -127,7 +127,7 @@ make_build() { git stash find ./ -type f -exec sed -i -e 's/sync/fs_sync/g' {} \; sed -i 's/gcc/egcc/g' Makefile - gmake + $MAKE cd .. fi @@ -218,7 +218,7 @@ make_sync() { $TAGS -R --exclude=.git --exclude=build --exclude=disk --exclude=cross --exclude=ext2util --exclude=boot . rm -f compile_commands.json - output=$(make --always-make --dry-run) + 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 |