Merge branch 'PierrickV-patch-5' into dev

2018-03-14 14:33:15 -04:00 · 2018-03-14 14:33:15 -04:00 · d2bdd9a47c
parent 451530f9c2 d673b1cd73
commit d2bdd9a47c
1 changed files with 4 additions and 0 deletions
--- a/4
+++ b/4
@ -49,7 +49,11 @@ RUN apt-get update && apt-get install -qy \

 # build empire from source
 # TODO: When we merge to master set branch to master
+<<<<<<< HEAD
 RUN git clone -b master https://github.com/EmpireProject/Empire.git /opt/Empire && \
+=======
+RUN git clone --depth=1 -b dev https://github.com/EmpireProject/Empire.git /opt/Empire && \
+>>>>>>> cda4927a8567add6801a72c83fb156b54397865e
    cd /opt/Empire/setup/ && \
    ./install.sh && \
    rm -rf /opt/Empire/data/empire*