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
_______________________________________________
Help-make mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/help-make
