Fix: CI breakes because it didn't fetch the latest dockernet
authorpeusterm <manuel.peuster@uni-paderborn.de>
Sat, 16 Apr 2016 03:32:45 +0000 (05:32 +0200)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Sat, 16 Apr 2016 03:32:45 +0000 (05:32 +0200)
utils/docker/Dockerfile

index 7a9999a..70ad852 100644 (file)
@@ -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/