diff options
author | Loïc Hoguin <[email protected]> | 2020-04-21 11:21:03 +0200 |
---|---|---|
committer | Loïc Hoguin <[email protected]> | 2020-04-21 11:21:03 +0200 |
commit | c17d8624dbae513a66d14a244964172341123523 (patch) | |
tree | 72c63977ba98c1f9ccc4cc12708ab8989bf1279b /docker/Dockerfile | |
parent | 2c2b9d3a0df19ca05e1da462b36eda7f2d050153 (diff) | |
download | erlang.mk-c17d8624dbae513a66d14a244964172341123523.tar.gz erlang.mk-c17d8624dbae513a66d14a244964172341123523.tar.bz2 erlang.mk-c17d8624dbae513a66d14a244964172341123523.zip |
Move docker directory to etc/
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 |