makefile - 有没有更智能的替代 “watch make”？

Question

我遇到了一个有用的提示，即如果您正在处理大量文件，并且希望它们自动生成，请运行:

watch 制造

它每隔几秒钟重新运行一次，一切就完成了。

但是...似乎一直吞没所有输出。我认为这可能更聪明-也许显示输出流，但抑制“全部”处理，因此，如果未构建任何内容，则输出不会滚动。

使用循环和grep可以想到一些shell脚本方法...但是也许还有更优雅的方法呢？有人看过吗？

Answer 1

这种单线应该做到这一点:

while true; do make --silent; sleep 1; done

它将每秒运行一次 make，并且仅在实际执行操作时才输出输出。