Le 16 juil. 2012 à 15:50, Eric Blake a écrit :
> I prefer --srcdir, if only because we already switched from CVS to git,
> and might in the future switch from git to $shiny_new_vcs. Tying the
> VCS name to the option means one more place to swap in that theoretical
> future.
OK. Installed as f
On 07/15/2012 11:56 AM, Jim Meyering wrote:
> 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
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-di
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 p
