[tvm] branch main updated: [lint] CHange docker lint message (#11767)

[leandron]

This is an automated email from the ASF dual-hosted git repository.

leandron pushed a commit to branch main
in repository https://gitbox.apache.org/repos/asf/tvm.git


The following commit(s) were added to refs/heads/main by this push:
     new 51b0d8c44a [lint] CHange docker lint message (#11767)
51b0d8c44a is described below

commit 51b0d8c44a80f7f01ae2a0480db107633d7dbc45
Author: Florin Blanaru <florin.blanar...@gmail.com>
AuthorDate: Wed Jun 22 19:56:27 2022 +0100

    [lint] CHange docker lint message (#11767)
---
 tests/lint/docker-format.sh | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/tests/lint/docker-format.sh b/tests/lint/docker-format.sh
index 8638afc2d4..4ce804c83e 100755
--- a/tests/lint/docker-format.sh
+++ b/tests/lint/docker-format.sh
@@ -20,12 +20,14 @@ TVM_HOME="$(git rev-parse --show-toplevel)"
 DOCKER_DIR="$TVM_HOME/docker"
 
 if git grep "apt install" -- ':(exclude)docker/utils/apt-install-and-clear.sh' 
$DOCKER_DIR; then
-  echo "Found \"apt install\" in docker file."
+  echo "Using \"apt install\" in docker file is not allowed."
+  echo "Please use \"apt-install-and-clear\" instead in order to keep the 
image size at a minimum."
   exit 1
 fi
 
 if git grep "apt-get install" -- 
':(exclude)docker/utils/apt-install-and-clear.sh' $DOCKER_DIR; then
-  echo "Found \"apt-get install\" in docker file."
+  echo "Using \"apt-get install\" in docker file is not allowed."
+  echo "Please use \"apt-install-and-clear\" instead in order to keep the 
image size at a minimum."
   exit 1
 fi