[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