From: Jean Privat <jean@pryen.org>
Date: Fri, 16 Jun 2017 13:01:10 +0000 (-0400)
Subject: docker: don't let `strip` fails the build because nit-makepackage is not a binary
X-Git-Url: http://nitlanguage.org

docker: don't let `strip` fails the build because nit-makepackage is not a binary

Signed-off-by: Jean Privat <jean@pryen.org>
---

diff --git a/misc/docker/Dockerfile b/misc/docker/Dockerfile
index a1d602c..ee34149 100644
--- a/misc/docker/Dockerfile
+++ b/misc/docker/Dockerfile
@@ -26,7 +26,7 @@ RUN git clone https://github.com/nitlang/nit.git /nit \
 	&& make \
 	&& . misc/nit_env.sh install \
 	# Clean and reduce size
-	&& strip c_src/nitc bin/nit* \
+	&& { strip c_src/nitc bin/nit* || true; } \
 	&& ccache -C \
 	&& rm -rf .git