Merge pull request #1022 from PierrickV/patch-4

Set branch to master
3.0-Beta
Chris Ross 2018-03-14 14:09:22 -04:00 committed by GitHub
commit b64a3fa059
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -52,7 +52,7 @@ RUN apt-get -qy clean \
# build empire from source
# TODO: When we merge to master set branch to master
RUN git clone -b dev https://github.com/EmpireProject/Empire.git /opt/Empire && \
RUN git clone -b master https://github.com/EmpireProject/Empire.git /opt/Empire && \
cd /opt/Empire/setup/ && \
./install.sh && \
rm -rf /opt/Empire/data/empire*