Fix Dockerfile

pull/1066/head
Nikhil Parasaram 6 years ago committed by GitHub
parent 7f0ad42945
commit 415b611c3c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 2
      Dockerfile

@ -39,8 +39,6 @@ COPY . /opt/mythril
RUN cd /opt/mythril \ RUN cd /opt/mythril \
&& python setup.py install && python setup.py install
RUN useradd -m mythril
USER mythril
WORKDIR /home/mythril WORKDIR /home/mythril
RUN ( [ ! -z "${SOLC}" ] && set -e && for ver in $SOLC; do python -m solc.install v${ver}; done ) || true RUN ( [ ! -z "${SOLC}" ] && set -e && for ver in $SOLC; do python -m solc.install v${ver}; done ) || true

Loading…
Cancel
Save