From 0547886a4962a3b5d7e773fbcff168c16f3c0b8a Mon Sep 17 00:00:00 2001 From: kballou Date: Thu, 12 May 2016 10:19:45 -0600 Subject: Delete `otp-src` directory --- Dockerfile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Dockerfile b/Dockerfile index 5836d8d..a374518 100644 --- a/Dockerfile +++ b/Dockerfile @@ -34,7 +34,8 @@ RUN set -xe \ && ./configure \ && make -j 4 \ && make install \ - && find /usr/local -name examples | xargs rm -rf + && find /usr/local -name examples | xargs rm -rf \ + && rm -rf /usr/src/otp-src CMD ["erl"] -- cgit v1.2.1