gnu makefile目标1：目标2； @echo> / dev / null是什么意思？

Question

给出以下makefile：

.PHONY: goal1
goal1: goal2 ; @echo > /dev/null mean

.PHONY: goal2
goal2:
    ... do some stuff...

我不确定goal1: goal2 ; @echo > /dev/null mean 的工作方式/原因。它确实执行了我想要的操作（显示），但是我不确定它是否安全，因为我不理解它。我找不到有关该特殊语法的文档。

所以我认为这意味着：

• 目标1与目标2的依赖关系
• 分号是换行符吗？
• @echo> / dev / null是goal1的收件人（但是制表符缩进呢？）

我make goal1要做的事情是：

• 为目标2做动作
• 禁止显示任何“对目标1无关”的消息

它会做这些事情。

但是有人可以解释/确认我不理解的语法吗？ -我在另一个问题上发现了该示例，它似乎符合我的要求，但没有任何解释。