| commit | cd4a312b089fea5cb39706c08f02ff2e01d76757 | [log] [tgz] |
|---|---|---|
| author | peusterm <manuel.peuster@uni-paderborn.de> | Sat Apr 16 05:32:45 2016 +0200 |
| committer | peusterm <manuel.peuster@uni-paderborn.de> | Sat Apr 16 05:32:45 2016 +0200 |
| tree | 48672b57ae160b1a45b0f0b1b08651d7b6b416a9 | |
| parent | 1afc6ed0d6edb3df160867b087313ac8043813f2 [diff] |
Fix: CI breakes because it didn't fetch the latest dockernet
diff --git a/utils/docker/Dockerfile b/utils/docker/Dockerfile index 7a9999a..70ad852 100644 --- a/utils/docker/Dockerfile +++ b/utils/docker/Dockerfile
@@ -1,5 +1,10 @@ FROM cgeoffroy/dockernet +# ensure that we have the latest dockernet code base! +WORKDIR /dockernet +RUN git pull \ + && python setup.py install + WORKDIR /son-emu COPY . /son-emu/