From 672c81ad28ae69a7902d458ab378949c19dd08ff Mon Sep 17 00:00:00 2001
From: FriwiDev <friwidev@gmail.com>
Date: Mon, 22 Nov 2021 11:31:15 +0100
Subject: [PATCH] Ignore errors in make_distrib.sh on linux (javadoc gen error)

---
 scripts/run_linux.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/scripts/run_linux.sh b/scripts/run_linux.sh
index 65e6f71..3858f78 100644
--- a/scripts/run_linux.sh
+++ b/scripts/run_linux.sh
@@ -55,9 +55,9 @@ fi
 #Generate distribution
 chmod +x make_distrib.sh
 if [ ${TARGETARCH} == 'amd64' ] || [ ${TARGETARCH} == 'arm64' ]; then
-    ./make_distrib.sh linux64
+    bash -e make_distrib.sh linux64
 else
-    ./make_distrib.sh linux32
+    bash -e make_distrib.sh linux32
 fi
 
 #Pack binary_distrib