makefile - 使用Make的文件功能

Question

我正在尝试将make变量的值转储到文件中以进行进一步处理。

到目前为止，我已经能够使用以下规则将值打印到命令行:

print-%:
    @echo '$*=$($*)'

您使用命令行调用的

make print-VAR

我真的不希望它在stdout上，而是打印到文件中。 GNU Make的"file"功能似乎是我应该使用的东西:
http://www.gnu.org/software/make/manual/html_node/File-Function.html#File-Function

该页面立即跳入一个复杂的示例，因此我实现了以下示例，但似乎无法使其正常工作:它将@echo打印到stdout，但是当我在目录中查找时没有output.txt文件。

printf-%:
    @echo '$*=$($*)'
    $(file > output.txt,$($*))

我想念什么？

编辑:好吧，看来我可以用了

@echo '$($*)' > output.txt

做我想做的事，但这仍然不能解释为什么我的文件调用无法正常工作。

Answer 1

评论部分的两个回复:

1)要获得所需的功能，只需将“@echo”语句重定向到文件

printf-%:
    @echo '$*=$($*)' > output.txt

2)文件功能不起作用的原因是它是Make v4.0和更高版本的功能，而不是我正在使用的版本3.8。