From 73807761afe6c66d2a8d85f19e64e94741da3253 Mon Sep 17 00:00:00 2001
From: peusterm <manuel.peuster@uni-paderborn.de>
Date: Sat, 16 Apr 2016 05:39:31 +0200
Subject: [PATCH] Fix: CI problem ...

---
 utils/docker/Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 @@ FROM cgeoffroy/dockernet
 # 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
 
-- 
2.25.1