help-make
[Top][All Lists]
Advanced

[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



reply via email to

[Prev in Thread] Current Thread [Next in Thread]