From 23c2876aaa0808bcfedc1c5c30da6e8234341a13 Mon Sep 17 00:00:00 2001
From: Michael Wallner <mike@php.net>
Date: Fri, 15 Apr 2016 11:49:14 +0200
Subject: [PATCH] fix treating '*.so' as actual extension

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 7c570d5..7e0f3bf 100644
--- a/Makefile
+++ b/Makefile
@@ -62,7 +62,7 @@ reconf: check $(srcdir)/php-$(PHP_VERSION)/configure
 php: check $(bindir)/php | $(PECL_INI)
 	-for EXT_SONAME in $(extdir)/*.so; do \
 		EXT_SONAME=$$(basename $$EXT_SONAME); \
-		if ! grep -q extension=$$EXT_SONAME $(PECL_INI); then \
+		if test "$$EXT_SONAME" != "*.so" && ! grep -q extension=$$EXT_SONAME $(PECL_INI); then \
 			echo extension=$$EXT_SONAME >> $(PECL_INI); \
 		fi \
 	done
-- 
2.30.2