From 25ded98084e54f8f4785818deec6c33a54ef0b79 Mon Sep 17 00:00:00 2001
From: Richard Metzler <richard@paadee.com>
Date: Mon, 19 Mar 2018 15:16:20 +0100
Subject: [PATCH] Fix Dockerfile

target `distclean` did not exist in Makefile
target `dist-clean-local` works.
---
 Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Dockerfile b/Dockerfile
index 4161b9789c..490f6c0ecd 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -33,7 +33,7 @@ RUN apt-get update && \
         make -j8 && \
         make check && \
         make install && \
-        make distclean ) && \
+        make dist-clean-local ) && \
     (cd oniguruma-5.9.6 && \
         make uninstall ) && \
     apt-get purge -y \