diff options
Diffstat (limited to 'scripts/command/nnfw_docker')
| -rw-r--r-- | scripts/command/nnfw_docker | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/scripts/command/nnfw_docker b/scripts/command/nnfw_docker deleted file mode 100644 index 211124105..000000000 --- a/scripts/command/nnfw_docker +++ /dev/null @@ -1,14 +0,0 @@ -DOCKER_IMAGE_NAME=${DOCKER_IMAGE_NAME:-nnfw_docker} - -echo "Using docker image $DOCKER_IMAGE_NAME" -if [[ "$(docker images -q $DOCKER_IMAGE_NAME 2> /dev/null)" == "" ]]; then - echo "Need docker image: $DOCKER_IMAGE_NAME" - exit 1 -fi - -DOCKER_HOME=/home/nnfw - -GIT_SSL_NO_VERIFY=1 -DOCKER_ENV_VARS+=" -e http_proxy" -DOCKER_ENV_VARS+=" -e no_proxy" -DOCKER_ENV_VARS+=" -e GIT_SSL_NO_VERIFY" |