• # make

    Posté par (site web personnel) . En réponse au journal Date de fichier. Évalué à 7.

    A mon avis, l'une des utilisations les plus importantes de la modification time, c'est make et tous les systèmes similaires : cela permet de répondre à la question "Qu'est-ce qui a changé et que je dois reprendre en compte?".