mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2024-12-29 04:50:03 +01:00
makefiles/docker.inc.mk: use registry docker.io explicitly
When using podman instead of docker the registry is not set by default. Docker has a builtin registry default "docker.io". Podman does not have a default. By specifying the registry explicitly both tools can be used.
This commit is contained in:
parent
d1377eb0bd
commit
234a6df95a
@ -1,4 +1,4 @@
|
||||
export DOCKER_IMAGE ?= riot/riotbuild:latest
|
||||
export DOCKER_IMAGE ?= docker.io/riot/riotbuild:latest
|
||||
export DOCKER_BUILD_ROOT ?= /data/riotbuild
|
||||
DOCKER_RIOTBASE ?= $(DOCKER_BUILD_ROOT)/riotbase
|
||||
# List of Docker-enabled make goals
|
||||
|
Loading…
Reference in New Issue
Block a user