Akim Demaille wrote: > Le 15 juil. 2012 à 16:48, Akim Demaille a écrit : > >> This patch should help people who, like me, sometimes build >> from /tmp for instance, while the sources are in /home. > >> + --git-dir=DIR set the path to the Git repository. > > Actually, I hesitated between --git-dir and --srcdir. Whatever > you prefer.
THe patch looks fine. You're welcome to push. I too am ambivalent about the name. Either is ok with me.
