[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Paparazzi-devel] make failed after updating#2

From: Michal Podhradsky
Subject: Re: [Paparazzi-devel] make failed after updating#2
Date: Sun, 25 Mar 2018 10:37:41 -0700

Hi Chris,

I am sorry to hear that it doesn't work reliably for you. if there is some issue with git itself, that is, unfortunately, something we can't influence (a bug report to git or github devs might be more useful).


On Sun, Mar 25, 2018 at 10:20 AM, Chris <address@hidden> wrote:
Hi Michal

I definitely have not made any changes to those files :-)

In any case i erase everything  and installed a fresh copy of master with git clone and after applying my code in it everything still works.

It looks to me that git pull is not working very well in updating all the files because i have seen this build error too many times.


Paparazzi-devel mailing list

reply via email to

[Prev in Thread] Current Thread [Next in Thread]