Made configurable image registry and small improvements in the building system

This commit is contained in:
Héctor Molinero Fernández
2019-06-01 14:06:51 +02:00
parent 4767b81127
commit 7c7421f12e
4 changed files with 38 additions and 40 deletions

View File

@ -1,4 +1,4 @@
FROM debian:sid
FROM docker.io/debian:sid
# Environment
ENV QEMU_CPU=2