From 18c0f2da7f68d4a0ba08c77d5623677543cf01c1 Mon Sep 17 00:00:00 2001
From: Jethro Kuan <jethrokuan95@gmail.com>
Date: Sat, 19 Sep 2020 16:23:09 +0800
Subject: [PATCH] (ci): do not return on package-lint error (#1116)

---
 makem.sh | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/makem.sh b/makem.sh
index bb8dcfd..f101fe0 100755
--- a/makem.sh
+++ b/makem.sh
@@ -591,6 +591,12 @@ function debug {
         }
     fi
 }
+
+function error_continue {
+    echo_color red "ERROR ($(ts)): $@" >&2
+    ((errors++))
+}
+
 function error {
     echo_color red "ERROR ($(ts)): $@" >&2
     ((errors++))
@@ -763,7 +769,7 @@ function lint-package {
         --funcall package-lint-batch-and-exit \
         "${files_project_feature[@]}" \
         && success "Linting package finished without errors." \
-            || error "Linting package failed."
+            || error_continue "Linting package failed."
 }
 
 function lint-regexps {