From ea4d9294fa9dbc610de4a7a5b265c57de150d853 Mon Sep 17 00:00:00 2001
From: Knut Ahlers <knut@ahlers.me>
Date: Tue, 24 Mar 2020 22:44:10 +0100
Subject: [PATCH] Fix: Do not break build if node modules cannot be deleted

Signed-off-by: Knut Ahlers <knut@ahlers.me>
---
 Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Dockerfile b/Dockerfile
index 09ce58b..d7c62fb 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -16,6 +16,6 @@ RUN set -ex \
            /root/.npm /root/.node-gyp \
            /usr/lib/node_modules/npm/man \
            /usr/lib/node_modules/npm/doc \
-           /usr/lib/node_modules/npm/html
+           /usr/lib/node_modules/npm/html || true
 
 ENTRYPOINT ["/usr/local/bin/eslint"]