[FFmpeg-devel] [PATCH] configure: Detect old git domain and inform the user about it.

Michael Niedermayer michaelni at gmx.at
Thu Sep 20 12:54:15 CEST 2012


On Thu, Sep 20, 2012 at 02:11:18AM -0300, jamal wrote:
> 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".

applied

thanks

[...]
-- 
Michael     GnuPG fingerprint: 9FF2128B147EF6730BADF133611EC787040B0FAB

No great genius has ever existed without some touch of madness. -- Aristotle
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 198 bytes
Desc: Digital signature
URL: <http://ffmpeg.org/pipermail/ffmpeg-devel/attachments/20120920/b70d72c2/attachment.asc>


More information about the ffmpeg-devel mailing list