<!DOCTYPE html><html><head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
  </head>
  <body>
    <p>On 2024-02-26 14:40, Lorris wrote:</p>
    <blockquote type="cite" cite="mid:D01E146A-DD9A-4485-8F0E-AF6F5C554D54@gmail.com">
      <pre>(it seems to depend on the date of the last edited file)</pre>
    </blockquote>
    <p>Just checking: do you have a problem with clock skew on your
      machine, or are you using some tools that modify time stamps on
      modified files? The make machinery depends on the fact that edited
      files should have a newer timestamp. If this does not work
      properly, dependency tracking will fail.</p>
    <p>/Magnus<br>
    </p>
  </body>
</html>