From 341c290a6e22970e24ae32f50cab0d7df70cd397 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?R=C3=A9mi=20Verschelde?= <remi@godotengine.org>
Date: Thu, 14 Nov 2019 14:47:51 +0100
Subject: [PATCH] Don't run make distclean, it fails on latest mono

---
 Dockerfile.mono | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Dockerfile.mono b/Dockerfile.mono
index 9017d59..58879f4 100644
--- a/Dockerfile.mono
+++ b/Dockerfile.mono
@@ -13,7 +13,7 @@ RUN dnf -y install autoconf automake libtool cmake gcc gcc-c++ make which perl p
     cd mono-${mono_version} && \
     autoreconf -vfi && \
     ./configure --prefix=/usr --sysconfdir=/etc --localstatedir=/var/lib/mono --disable-boehm && \
-    make -j && make install && make distclean && \
+    make -j && make install && \
     cd /root && \
     rm -rf mono-${mono_version} && \
     cert-sync /etc/pki/tls/certs/ca-bundle.crt