[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