]> git.neil.brown.name Git - edlib.git/commit
projects / edlib.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 77aecf1) | patch
make: possibly fix problem with not always following.
authorNeilBrown <neil@brown.name>
Fri, 21 Jul 2023 02:33:24 +0000 (12:33 +1000)
committerNeilBrown <neil@brown.name>
Fri, 21 Jul 2023 02:33:24 +0000 (12:33 +1000)
commit8939e3514b38442e5d1fbe1e917bcaad9c1d7d14
tree79dccf22e0e824312ab51a60d0507aa58adb9c8etree | snapshot
parent77aecf178da739053676fcd8b79a4be5a395cabacommit | diff
make: possibly fix problem with not always following.

This is just a guess, but maybe this is why make sometimes doesn't
follow the output properly.

Signed-off-by: NeilBrown <neil@brown.name>
DOC/TODO.md diff | blob | history
python/lib-make.py diff | blob | history
Because one more editor is never engough