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.
