diff options
| author |  Christopher Baklid <[email protected]> | 2018-07-31 22:12:15 +0200 |
|---|---|---|
| committer | Christopher Baklid <[email protected]> | 2018-07-31 22:12:15 +0200 |
| commit | ce3e7281a7359230bbcefbf879995598c21fcc06 (patch) | |
| tree | e63d2aace4803e43b0717611f591d3e898ea8e39 | |
| parent | Merge branch 'feature/reddit-channel' into 'master' (diff) | |
try build without cleaning first
| -rw-r--r-- | docker/Dockerfile | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/docker/Dockerfile b/docker/Dockerfile index 350e38ec0..2db1ee24a 100644 --- a/docker/Dockerfile +++ b/docker/Dockerfile @@ -10,7 +10,6 @@ RUN pip install pipenv COPY . /bot WORKDIR /bot -RUN pipenv clean RUN pipenv sync ENTRYPOINT ["/sbin/tini", "--"] |