Phillip Susi <psusi@xxxxxxxxxx> writes: > On 1/23/2012 9:18 AM, Hallvard Breien Furuseth wrote: >> INSTALL says we can install a profiled Git with $ make profile-all >> # make install prefix=... > > prefix should be an argument to configure, not make. What are you talking about? Use of ./configure is entirely optional, and our Makefile _does_ support giving prefix on the command line. -- 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