makefile - 在Makefile中，如何清理lockfile文件？

Question

在 GNU Make 3.81 中，如果工具链的任何部分出现错误，我需要删除锁定文件。是否有一个特殊的目标可以让我这样做？我需要编写包装脚本吗？

在下面的示例中，如果 file.out 的规则失败，我需要发生 unlock_id。

谢谢!
-杰夫

all: lock_id file.out unlock_id

file.out: file.in
    file-maker < file.in > $@

lock_id:
    lockfile file.lock

unlock_id:
    rm -rf file.lock

Answer 1

我会在与 file-maker 相同的目标中进行锁定/解锁:

file.out: file.in
        lockfile $@.lock
        file-maker < $< > $@; \
        status=$$?; \
        rm -f $@.lock; \
        exit $$status

这将执行 file-maker并在同一个shell中解锁步骤，保存 file-maker的状态所以 make如果 file-maker 会失败失败。