makefile - Makefile SHELL=怪异

Question

在我的 Makefile 我有：

SHELL = /usr/bin/time -f "$@ total time: %E" /bin/sh

这在我的一个 linux 机器上运行良好。但是，在另一个盒子上它会产生段错误。如果我删除那条线就可以了。有任何想法吗？

谢谢。

Answer 1

你需要检查一下

1. "$@" 按预期展开
2. /usr/bin/time 效果很好
3. 查看目标机器上的 man time，看看那个版本的 time 是否识别“%E”