| commit | 73807761afe6c66d2a8d85f19e64e94741da3253 | [log] [tgz] |
|---|---|---|
| author | peusterm <manuel.peuster@uni-paderborn.de> | Sat Apr 16 05:39:31 2016 +0200 |
| committer | peusterm <manuel.peuster@uni-paderborn.de> | Sat Apr 16 05:39:31 2016 +0200 |
| tree | 0fe335b99f3c38e4fddce1211d524fa7284714a1 | |
| parent | cd4a312b089fea5cb39706c08f02ff2e01d76757 [diff] [blame] |
Fix: CI problem ...
diff --git a/utils/docker/Dockerfile b/utils/docker/Dockerfile index 70ad852..b2ad266 100644 --- a/utils/docker/Dockerfile +++ b/utils/docker/Dockerfile
@@ -3,7 +3,7 @@ # ensure that we have the latest dockernet code base! WORKDIR /dockernet RUN git pull \ - && python setup.py install + && python setup.py develop WORKDIR /son-emu