diff options
Diffstat (limited to 'docker/Dockerfile')
-rw-r--r-- | docker/Dockerfile | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/docker/Dockerfile b/docker/Dockerfile deleted file mode 100644 index 46abe85..0000000 --- a/docker/Dockerfile +++ /dev/null @@ -1,25 +0,0 @@ -FROM ubuntu - -RUN echo 'debconf debconf/frontend select Noninteractive' | debconf-set-selections -RUN apt-get update && apt-get install -y \ - git \ - mercurial \ - subversion \ - erlang \ - build-essential \ - autoconf \ - automake \ - curl \ - python-sphinx \ - asciidoc \ - p7zip-full \ - unzip - -COPY . /erlang.mk -WORKDIR /erlang.mk - -# Run specific test-case with verbose output -# RUN make check c=escript-deps V=4 - -RUN make check -j 8 -k -RUN make check LEGACY=1 -j 8 -k |