近日，一则关于 GNU Make 行为的讨论在开发者社区引发热议。有用户报告称，在特定场景下，GNU Make 会成功构建所有的前置依赖（pre-requisites），但并不会立即执行对应的配方（recipe），而是直到用户再次运行 make 命令时才完成剩余工作。这一看似异常的行为背后，其实隐藏着 GNU Make 执行机制的深层逻辑，同时也暴露出很多开发者对 Makefile 编写细节的认知盲区。
“只建不跑”的诡异现象
据多位开发者反馈，当 Makefile 中的目标依赖于某些通过模式规则（pattern rule）生成的文件时，有时会出现如下场景：执行 make target 后，终端输出显示所有前置文件均已成功生成，但目标目标却没有被构建，系统静默退出。再次运行相同的 make 命令，配方才会被触发。这种“一次不够，再来一次”的行为不仅降低了构建效率，更让新手甚至资深开发者陷入困惑——难道是 Make 出现了 bug？
问题根源：时间戳与模式规则的微妙关系
要理解这一现象，必须回到 GNU Make 最核心的依赖判定机制：文件时间戳。Make 通过比较目标文件和前置依赖文件的修改时间来判断是否需要重新构建。如果目标文件比所有前置依赖文件都新，则视为“已更新”，配方不会执行。
然而，当目标文件本身不存在（尚未创建），而前置依赖文件恰好是通过规则生成的“中间文件”时，情况就变得微妙起来。GNU Make 在匹配模式规则时，会将这类中间文件视为“可能被删除的临时产物”。根据 GNU Make 的文档，如果某个目标是通过模式规则匹配到的，且该目标没有被显式声明为 .PRECIOUS（珍贵文件），那么 Make 会在完成该目标构建后将其删除——除非它还被其他规则需要。
具体到“只建不跑”的场景：目标 A 依赖于文件 B，而 B 是通过模式规则从 C 生成。当 make 首次运行时，B 不存在，于是 Make 执行生成 B 的配方。但此时 Make 发现，B 只是“中间文件”且没有被其他目标直接引用，于是将其标记为“可删除”。当 Make 回到目标 A 的检查时，B 已不存在（或被标记为待删除），但 Make 已经“认为”B 已是最新状态，于是跳过 A 的配方。第二次运行时，B 重新生成，此时 Make 的中间文件处理逻辑进入另一种状态，最终触发 A 的配方。
不仅仅是“中间文件”问题
除了上述中间文件的特殊处理，另一种常见情况是“双冒号规则”（double-colon rule）与模式规则混用。双冒号规则允许同一个目标被多个规则定义，每个规则独立执行。如果其中一个规则使用了模式匹配，而另一个规则是显式规则，便可能导致时间戳判定混乱，使得配方仅在下一次运行中才被调用。
此外，递归调用 $(MAKE) 时，如果子 Makefile 更改了工作目录或使用了 -t（touch）选项，也可能造成主 Makefile 对依赖状态的误判。
社区应对与最佳实践
截至发稿，GNU Make 官方尚未将此行为定义为 bug。社区多数观点认为，这是 Make 为了优化构建图而设计的“副作用”，但确实给用户带来了不小的困扰。
针对这一问题，多位资深开发者总结了以下解决方案：
- 显式声明中间文件为
.PRECIOUS：.PRECIOUS: B可使 Make 不再删除 B 文件，从而保证时间戳判定的连续性。 - 避免过度依赖模式规则进行目标文件生成：对于关键依赖，尽量使用显式规则而非模式规则，以减少中间文件处理带来的不确定性。
- 使用
-W选项强制触发：在首次执行后，用make -W B target模拟 B 已被修改，从而强制运行配方。 - 升级至最新版 GNU Make：部分版本对中间文件逻辑有修复，例如 4.3 及以上版本在处理某些极端情况时表现更稳定。
启示：自动化构建的“暗礁”
此次讨论再次提醒开发者：GNU Make 虽然是经典的构建工具，但其设计哲学偏重于“文件系统状态驱动”，而非“工作流驱动”。看似简单的“先构建依赖再执行配方”的逻辑，在实际复杂的项目结构中可能埋下看不见的陷阱。对于大型项目，尤其是涉及多层级模式规则、自动生成文件（如 Lex/Yacc、代码生成器）的 Makefile，建议采用 --debug=v 运行 make，实时观察依赖解析与中间文件处理结果，避免被“静默跳过”的配方所迷惑。
目前，GNU Make 的维护者已收到相关反馈，但尚未确定是否会在未来版本中调整中间文件处理策略。在此之前，开发者仍需小心把握每一条规则的生命周期。