bug-make
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[bug #37708] File rules compare wrong own timestamps


From: Paul D. Smith
Subject: [bug #37708] File rules compare wrong own timestamps
Date: Sun, 13 Jan 2013 20:19:32 +0000
User-agent: Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.17 (KHTML, like Gecko) Chrome/24.0.1312.52 Safari/537.17

Update of bug #37708 (project make):

                  Status:                    None => Not A Bug              
             Open/Closed:                    Open => Closed                 

    _______________________________________________________

Follow-up Comment #1:

This is not technically a bug... or if it is it's a duplicate of the directory
cache issue.  Your makefile is not being honest with make: as far as your
makefile is concerned, there is no way for the file "depended_real_file" to
ever be updated.  Thus, make does some shortcuts to improve performance.

However, because your makefile really does change the time of
"depended_real_file" behind make's back (as a hidden side-effect of updating
"depended_remake_always"), things don't work well.

I suspect that what you want to do could be more straightforwardly done but
there's not enough detail here to know for sure; if you want help please email
address@hidden rather than using the bug tracker.

If you change your makefile such that you give commands to the
"depended_real_file" target, even if they're empty, then make will re-check
the timestamp because it thinks maybe something changed; then your makefile
will work (always rebuilds main):


depended_real_file: depended_remake_always ; @:


    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/bugs/?37708>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/




reply via email to

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