[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
last modification time
From: |
ali hagigat |
Subject: |
last modification time |
Date: |
Mon, 29 Nov 2010 15:57:23 +0330 |
make considers gfkp older than f1, is it OK?
(The result is the same without .LOW_RESOLUTION_TIME)
How many digits of the last modification time of the files are
compared to decide to execute a recipe?
.LOW_RESOLUTION_TIME: gfkp f1
gfkp::
@rm -f gfkp f1
@touch f1
@touch gfkp
@echo 11111
gfkp:: f1
@echo 222222
make: *** Warning: .LOW_RESOLUTION_TIME file `gfkp' has a high
resolution time stamp
11111
make: *** Warning: .LOW_RESOLUTION_TIME file `gfkp' has a high
resolution time stamp
make: *** Warning: .LOW_RESOLUTION_TIME file `f1' has a high
resolution time stamp
222222
-rw-r--r-- 1 root root 0 2010-11-29 15:45:49.615218916 +0330 f1
-rw-r--r-- 1 root root 0 2010-11-29 15:45:49.616322644 +0330 gfkp
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- last modification time,
ali hagigat <=