标签： performance makefile
我想在构建完成后将Makefile构建的构建持续时间添加到打印输出中。这样的事情：
构建时间：1：23.45
我无法找到任何关于这样做的事情，但它必须是可行的..现在我用$（TIME）打印完成的时间，但我想打印多长时间构建完成了。我正在使用clearmake。
答案 0 :(得分：3)
time二进制文件提供此功能。您需要专门执行它以绕过shell中内置的任何时间命令（如在bash中）：
time
/usr/bin/time --format="Build Duration: %E" make