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

Pull-Request: #2502
Reviewed-by: Jean-Christophe Beaupré <jcbrinfo.public@gmail.com>

diff --git a/misc/docker/Dockerfile b/misc/docker/Dockerfile
index a1d602c..ee34149 100644 (file)
--- 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