AMHA ce qui prouve qu'un fichier a changé, c'est son contenu et en aucun cas sa date de modification.
Les *remplacents* de make, comme scons, se basent sur un hash du fichier (stocké dans un fichier) pour établir la modification.
En pratique, la date peut etre biasée par enormement de choses (differences d'heures entre les machines, copies, gestionnaire de version, ...), c'est donc une erreur que de s'en servir.
[^] # Re: make
Posté par Guillaum (site web personnel) . En réponse au journal Date de fichier. Évalué à 2.
Les *remplacents* de make, comme scons, se basent sur un hash du fichier (stocké dans un fichier) pour établir la modification.
En pratique, la date peut etre biasée par enormement de choses (differences d'heures entre les machines, copies, gestionnaire de version, ...), c'est donc une erreur que de s'en servir.