diff options
Diffstat (limited to 'Dockerfile')
-rw-r--r-- | Dockerfile | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -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"] |