On 27 Mar 2009 at 14:44, Matthieu Moy wrote: > "Ulrich Windl" <ulrich.windl@xxxxxxxxxxxxxxxxxxxx> writes: > > > I don't understand: > > If I modify files, then do a make, then do check-in/check-out (and the file times > > are unchanged), how would that affect make? > > From "make"'s point of view, chechout is just a modification of the > file (as any other modification you would do with a text editor). If > you compile foo.c to foo.o, then checkout another version of foo.c, > then you want foo.c to be recompiled. If checkout modifies the > timestamp to pretend it was modified before foo.o, then make thinks > the file is up to date. > > > If I do an "update/merge from remote" (there is no total ordering of release > > numbers anyway) without a "make clean" before, I'm having a problem > > anyway. > > No, you don't have a problem. Recompiling files after they're modified > is the job of make, and it just does it. make doesn't know about > revision numbers or identifiers, just timestamps. Hi! If you compiled a Linux kernel, then do an "upgrade" to the tree, it's quite likely that a "make clean" after that upgrade does something different to the "make clean" before the upgrade. Thus I'd "make clean" before the upgrade. (which, I think, proves my point) Regards, Ulrich -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html