From 34a1b2de68bc7225d797c32b8bb38ef0836fe53e Mon Sep 17 00:00:00 2001
From: David Oberhollenzer <goliath@infraroot.at>
Date: Sat, 9 Mar 2019 19:10:21 +0100
Subject: [PATCH] Ignore errors if strip fails

Signed-off-by: David Oberhollenzer <goliath@infraroot.at>
---
 util/misc.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/util/misc.sh b/util/misc.sh
index 1f98a7d..9fcf8ae 100644
--- a/util/misc.sh
+++ b/util/misc.sh
@@ -21,7 +21,7 @@ strip_files() {
 		[ -f "$f" ] || continue;
 
 		if file -b $f | grep -q -i elf; then
-			${TARGET}-strip --discard-all "$f"
+			${TARGET}-strip --discard-all "$f" 2> /dev/null || true
 		fi
 	done
 }