Marian Buschsieweke 17dcb97571 dist/tools/buildsystem_sanity_check: check pinned docker version ... This tests if the latest manifest on dockerhub matches the pinned version. The idea is that PRs are not merged until the pinning is fixed, so that we can ensure that `make BUILD_IN_DOCKER=1` will always succeed with the pinned version.		2024-06-08 02:12:15 +02:00
..
pythonlibs	Revert "riotctrl_ctrl: one more indirection to get native"	2024-01-19 12:59:14 +01:00
testbed-support	dist/testbed-support: Add openmote board	2023-10-17 13:28:05 +02:00
tools	dist/tools/buildsystem_sanity_check: check pinned docker version	2024-06-08 02:12:15 +02:00
empty.a	make: OSX: don't fail for empty .a archives	2014-06-24 20:29:32 +02:00
gdbinit-docker	tools: use 'BOARDSDIR' for the boards directory	2019-12-16 15:35:04 +01:00
Makefile	makefiles: do not locally export compilation variables	2019-08-29 10:35:36 +02:00
usb_id_testing	usb: Warn on test-ID usage in a unified location	2020-06-30 10:51:36 +02:00