diff options
Diffstat (limited to 'docker')
| -rw-r--r-- | docker/Dockerfile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/docker/Dockerfile b/docker/Dockerfile index daed730..e4041e7 100644 --- a/docker/Dockerfile +++ b/docker/Dockerfile @@ -20,7 +20,8 @@ ENV CLOVER_REPO_DIR="${REPOS_DIR}/clover" RUN apt-get update \ && apt-get install -y git python-setuptools python-pip curl apt-transport-https \ && apt-get -y autoremove && apt-get clean \ - && pip install --upgrade pip + && pip install --upgrade pip \ + && python -m pip install grpcio argparse # Fetch source code RUN mkdir -p ${REPOS_DIR} |