Warning: file_get_contents(/data/phpspider/zhask/data//catemap/7/jsf/5.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
Makefile 重做超过24小时的文件?_Makefile_Gnu Make - Fatal编程技术网

Makefile 重做超过24小时的文件?

Makefile 重做超过24小时的文件?,makefile,gnu-make,Makefile,Gnu Make,我想知道是否有一种方法可以告诉GNU make重新制作一个超过24小时的文件 也就是说,类似于武力,但前提是目标在24小时前最后一次更新 比如说,我有一个收集传感器数据的程序。我不想每24小时对传感器进行一次ping操作。保留一个哨兵文件。在过去24小时内对其进行日期标注,并使用正常的make依赖项。递归生成。全方位yuk .PHONY: poll poll: touch -d yesterday sentinel ${MAKE} target target: sentinel

我想知道是否有一种方法可以告诉GNU make重新制作一个超过24小时的文件

也就是说,类似于武力,但前提是目标在24小时前最后一次更新


比如说,我有一个收集传感器数据的程序。我不想每24小时对传感器进行一次ping操作。

保留一个哨兵文件。在过去24小时内对其进行日期标注,并使用正常的make依赖项。递归生成。全方位yuk

.PHONY: poll
poll:
    touch -d yesterday sentinel
    ${MAKE} target

target: sentinel
    blah blah
    touch $@

假设gnu触摸。

您的意思是:。。。而不是重新制作更新的文件?@reinierpost:请参见编辑。更清楚吗?你是选民吗?