From c17d8624dbae513a66d14a244964172341123523 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lo=C3=AFc=20Hoguin?= <essen@ninenines.eu>
Date: Tue, 21 Apr 2020 11:21:03 +0200
Subject: Move docker directory to etc/

---
 docker/Dockerfile | 25 -------------------------
 1 file changed, 25 deletions(-)
 delete mode 100644 docker/Dockerfile

(limited to 'docker/Dockerfile')

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
-- 
cgit v1.2.3