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

[Michal Podhradsky]

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).

Regards

M

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.

Chris

_______________________________________________
Paparazzi-devel mailing list
address@hidden
https://lists.nongnu.org/mailman/listinfo/paparazzi-devel