Hi,

I bisected and found the origin in [1], we are investigating. Cheers,

Francisco

[1] 
https://github.com/RIOT-OS/RIOT/pull/13738/commits/64552a3b9a05b2dac116008fa61d1842651ffa85

----- Mail original -----
> De: "Alexandre Abadie" <alexandre.aba...@inria.fr>
> À: "devel" <devel@riot-os.org>
> Envoyé: Lundi 25 Mai 2020 08:58:32
> Objet: Re: [riot-devel] How to make my boards appear in the 
> info-boards-supported list

> Hi Kees,
> 
> This is not normal, they should appear. This is a bug in the build system. I
> tried locally and could reproduce.
> 
> The best would be to open an issue on GitHub that describes the problem.
> 
> Alex
> 
> ----- Le 24 Mai 20, à 23:32, Kees Bakker k...@ijzerbout.nl a écrit :
> 
>> Hey,
>> 
>> I want to run tests on my SODAQ board(s), but they don't
>> appear in the output of
>>   make -C examples/hello-world info-boards-supported
>> 
>> What are they missing?
>> --
>> Kees
>> _______________________________________________
>> devel mailing list
>> devel@riot-os.org
>> https://lists.riot-os.org/mailman/listinfo/devel
> _______________________________________________
> devel mailing list
> devel@riot-os.org
> https://lists.riot-os.org/mailman/listinfo/devel
_______________________________________________
devel mailing list
devel@riot-os.org
https://lists.riot-os.org/mailman/listinfo/devel

Reply via email to