commit 28bff062115c588192bb98d4a8687da4da845e5a
author peusterm <manuel.peuster@uni-paderborn.de> Sat Apr 16 05:53:01 2016 +0200
committer peusterm <manuel.peuster@uni-paderborn.de> Sat Apr 16 05:53:01 2016 +0200
tree 26add4c3c5c25c651448475cc89256096a1ee157
parent 73807761afe6c66d2a8d85f19e64e94741da3253

Fix: new try ... ensure that dockernet is fetched from the right repo ...

utils/docker/Dockerfile

diff --git a/utils/docker/Dockerfile b/utils/docker/Dockerfile
index b2ad266..9618c5e 100644
--- a/utils/docker/Dockerfile
+++ b/utils/docker/Dockerfile
@@ -1,9 +1,11 @@
 FROM cgeoffroy/dockernet
 
 # ensure that we have the latest dockernet code base!
+WORKDIR /
+RUN rm -rf dockernet
+RUN git clone -b dockernet-sonata https://github.com/mpeuster/dockernet.git
 WORKDIR /dockernet
-RUN git pull \
-    && python setup.py develop
+RUN python setup.py develop
 
 WORKDIR /son-emu