Move Dockerfile.armhf to docker directory

2021-05-27 10:23:08 +02:00
parent 8658be004e
commit 1e052bde90
5 changed files with 14 additions and 12 deletions
@@ -53,6 +53,7 @@ docker images
 docker push ${IMAGE_NAME}
 docker push ${IMAGE_NAME}:$TAG_PLOT
 docker push ${IMAGE_NAME}:$TAG
+
 if [ $? -ne 0 ]; then
    echo "failed pushing repo"
    return 1