Marian Buschsieweke e960a19f24 build system: simplify docker image pinning ... It turns out that the ID mechanics of docker are even more crazy than realized before: On Linux (x86_64) they use a different SHA256 when referring to a locally installed image than when referring to the same image at dockerhub. On Mac OS (Apple Silicon), the use the repo SHA256 also when referring to the local image. Instead of increasing the complexity of the current solution even more by covering both cases, we now use `docker.io/riot/riotbuild@sha256:<SHA256_OF_DOCKERHUB_IMAGE>` to refer to a specific docker image, which hopefully works across systems. Instead of pulling the image explicitly, we now can rely on docker to do so automatically if the pinned image is not found locally. As a result, the knob to disable automatic pulling has been dropped. Fixes https://github.com/RIOT-OS/RIOT/issues/20853		2024-10-09 21:05:57 +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	build system: simplify docker image pinning	2024-10-09 21:05:57 +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