Ted Ts'o <tytso@xxxxxxx> writes: > What do you think of this? I'm still running a test build --- "make > PROFILE=BUILD all" takes quite a long time, so this is still an RFC; I > figure there will still be some places where people will point out > more nits to be polished. :-) > > (In particular, I just noticed I left the V=1 for debugging purposes > in this version....) Thanks. Three comments: * I am happy that this version handles this well: $ make PROFILE=BUILD install even though you did not advertise as such in INSTALL ;-). * However, I think "clean" target should remove *.gcda unconditionally. $ make PROFILE=BUILD install ; make clean ; git clean -n -x | grep gcda * Running "make PROFILE=BUILD install" immediately after another one, without "make clean" in between, resulted in full rebuild and test before the second "install", which somewhat surprised me. I however do not think this is a big show-stopper problem. -- 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