[FFmpeg-devel] [PATCH] configure: Detect old git domain and inform the user about it.
jamal
jamrial at gmail.com
Thu Sep 20 07:11:18 CEST 2012
On 19/09/12 8:03 PM, Michael Niedermayer wrote:
> On Wed, Sep 12, 2012 at 12:56:03PM +0200, Michael Niedermayer wrote:
>> Based on code by: Clément Bœsch <ubitux at gmail.com>
>> Signed-off-by: Michael Niedermayer <michaelni at gmx.at>
>> ---
>> configure | 23 +++++++++++++++++++++++
>> 1 file changed, 23 insertions(+)
>
> applied
>
> [...]
>
This is giving these errors in out-of-tree builds:
fatal: Not a git repository (or any of the parent directories): .git
fatal: Not a git repository (or any of the parent directories): .git
The configure line that sets fixme_remote should call git with "--git-dir=$source_path/.git --work-tree=$source_path".
Regards.
More information about the ffmpeg-devel
mailing list