odroidc1 build kernel fails

[Andreas Tobler]

On 06.03.19 13:04, peter garshtja wrote:
> Rebuilt from scratch, the build still fails with an error mentioned in 
> the previous email.
> 
> My src tree is releng 12.0, is your the same?

Oh, you're right. I didn't pay attention to that. I should have asked 
you on which branch/tree.
I use -CURRENT, on all machines and boards here.

I just saw the failure pattern and remembered that I had the same.

Hopefully it will work for you with the copied file in 12-releng.

Andreas