From 40cb08a92e9445df39263d9eb37978e6dd48648e Mon Sep 17 00:00:00 2001 From: Rasmus Karlsson Date: Sat, 2 Nov 2019 12:13:01 +0100 Subject: [PATCH] remove check-format dockerfile --- .docker/Dockerfile.check-format | 10 ---------- 1 file changed, 10 deletions(-) delete mode 100644 .docker/Dockerfile.check-format diff --git a/.docker/Dockerfile.check-format b/.docker/Dockerfile.check-format deleted file mode 100644 index 7716ec220..000000000 --- a/.docker/Dockerfile.check-format +++ /dev/null @@ -1,10 +0,0 @@ -FROM ubuntu:19.10 - -ENV DEBIAN_FRONTEND=noninteractive - -RUN apt-get -y install clang-format - -WORKDIR /build - -CMD ["/bin/sh"] -ENTRYPOINT ["./tools/docker/build.sh"]