aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index af28ecf04..90f6cc689 100644
--- a/Makefile
+++ b/Makefile
@@ -168,7 +168,7 @@ STRIP=strip
endif
ifeq ($(OS_NAME),linux)
-STRIP=$(which llvm-strip || echo "Missing strip")
+STRIP=$(which llvm-strip || which llvm-strip-13 || echo "Missing strip")
endif