Skip mongo install if already present

glensc · glensc · commit a2c8c19d3dca · 2025-01-20T23:39:58.000+02:00
diff --git a/install-extensions.sh b/install-extensions.sh
@@ -26,6 +26,7 @@ install_xhprof() {
 install_mongo() {
     local ext="mongo" version="${1:-stable}"
 
+    has_extension "$ext" && return 0
     echo no | pecl install "$ext-$version"
 }
 

Original file line number	Diff line number	Diff line change
`@@ -26,6 +26,7 @@ install_xhprof() {`
`26`	`26`	`install_mongo() {`
`27`	`27`	`local ext="mongo" version="${1:-stable}"`
`28`	`28`
	`29`	`+ has_extension "$ext" && return 0`
`29`	`30`	`echo no \| pecl install "$ext-$version"`
`30`	`31`	`}`
`31`	`32`