On Wed, Jan 21, 2009 at 02:26:56AM +0100, Johannes Schindelin wrote: > Well, in this case, you will find that the "bug" is _at most_ some > binaries not being found. > [...] > (Actually, with my new patch, the may be replaced, but _only_ if > necessary, and the same thing would apply as I said earlier: the binary > would not be found, or a binary from the PATH would be run without > valgrind; but the next runs will not have the problem.) You can run a random binary from the PATH. So I have asked git to test the version in the repository using valgrind, and to report success only if both the git command itself succeeds and valgrind reports zero errors. But it might run some other random version of git, not using valgrind, and if _that_ succeeds, report success. And you don't think that is a bug? I'll grant it is an unlikely race to lose. I guess I just prefer my races to be non-existent. -Peff -- 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
