tree f84696bf23619ce5009d1919ed4d358d4d58930f
parent 4055846457c58394e2e70569904bd3df2586bff7
author Luca Milanesio <luca.milanesio@gmail.com> 1782678739 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1782711282 -0700

Allow specifying the Dockerfile to use

Introduce the DOCKERFILE environment variable which allows to specify
the Dockerfile to use. It is introduced to enable the build and
publishing of development docker images, by using
DOCKERFILE=Dockerfile-dev.

Change-Id: I50fc93d77811123def6b5f86085c35c642c0b011