gnu makefile goal1:goal2;@echo>/dev/null是什么意思?

给定以下生成文件:

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

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

我真的不知道怎么/为什么 goal1: goal2 ; @echo > /dev/null mean 作品。它做的正是我想要它做的(它看起来)但我不确定它是否安全,因为我不明白。我找不到该particular语法的文档。

所以我认为这意味着:

• goal1与goal2有依赖关系
• 分号是新行吗?
• @echo>/dev/null是goal1的接收者(但是tab indent呢?)

当我做的时候我想要它做什么 make goal1 是:

• 为目标2采取行动
• 禁止任何“goal1无事可做”类型的消息

它做这些事情。

但是有人能解释/确认我不懂的语法吗?-我在另一个问题上找到了这个例子,它似乎符合我的要求,但没有任何解释。