1
0
mirror of https://github.com/gnss-sdr/gnss-sdr synced 2024-10-05 18:30:51 +00:00

Fix Docker image build

This commit is contained in:
Carles Fernandez 2018-02-10 01:36:19 +01:00
parent e196a83060
commit bbec8b29d2

View File

@ -103,7 +103,7 @@ docker-gnsssdr:
- mkdir docker-build
- cd docker-build
- cp ../docker-gnsssdr/Dockerfile .
- docker build -t -pull carlesfernandez/docker-gnsssdr .
- docker build -t carlesfernandez/docker-gnsssdr .
- docker push "$CI_REGISTRY_IMAGE"
dependencies:
- get-dockerfile