OK thanks for looking into this. A quick-and-dirty investigation shows these boards that could potentially be missing.
adafruit-clue arduino-mkr1000 arduino-mkrfox1200 arduino-mkrwan1300 arduino-mkrzero arduino-nano-33-ble feather-m0 nrf52840dongle sodaq-autonomo sodaq-explorer sodaq-one sodaq-sara-aff sodaq-sara-sff On 25-05-2020 09:13, Francois-Xavier Molina wrote: > 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 _______________________________________________ devel mailing list devel@riot-os.org https://lists.riot-os.org/mailman/listinfo/devel