在 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