From cd4a312b089fea5cb39706c08f02ff2e01d76757 Mon Sep 17 00:00:00 2001
From: peusterm <manuel.peuster@uni-paderborn.de>
Date: Sat, 16 Apr 2016 05:32:45 +0200
Subject: [PATCH] Fix: CI breakes because it didn't fetch the latest dockernet

---
 utils/docker/Dockerfile | 5 +++++
 1 file changed, 5 insertions(+)

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/
-- 
2.25.1