From bbcf0a09ac5f7483e40eb3279109fc7473384d2a Mon Sep 17 00:00:00 2001
From: Igor Witz <igor.witz@etu.utc.fr>
Date: Thu, 9 May 2019 17:13:08 +0200
Subject: [PATCH] Update pica-ci/Dockerfile
---
pica-ci/Dockerfile | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/pica-ci/Dockerfile b/pica-ci/Dockerfile
index 765bdfa4..f3dde1ff 100644
--- a/pica-ci/Dockerfile
+++ b/pica-ci/Dockerfile
@@ -22,5 +22,4 @@ RUN apk update && \
echo "MODIFIED_IMAGE=$MODIFIED_IMAGE" >> /etc/profile.d/ci-variables && \
echo "MODIFIED_IMAGE_FULL=$MODIFIED_IMAGE_FULL" >> /etc/profile.d/ci-variables && \
echo "CONTAINER_NAME=$CONTAINER_NAME" >> /etc/profile.d/ci-variables && \
- echo "HOST=$HOST" >> /etc/profile.d/ci-variables && \
- cat /etc/profile.d/ci-variables
+ echo "HOST=$HOST" >> /etc/profile.d/ci-variables
--
GitLab