Adjusting Noble

Author: smokodon

bin/compile-extension-mongodb

@@ -6,22 +6,22 @@ source $(dirname $0)/compile-extensions-common
 travis_time_start
 
 dist=$(lsb_release -cs)
-if [[ "${dist}" = "focal" || "${dist}" = "jammy" || "${dist}" = "noble"]]; then
-	if [[ $VERSION =~ ^master$ || $VERSION =~ snapshot$ ]]; then
-		git clone https://github.com/mongodb/mongo-php-driver.git
-		pushd mongo-php-driver
-		git submodule update --init
-		phpize
-		./configure
-		make  all
-		make install
-		popd
-	else
-		pecl channel-update pecl.php.net
-		no | pecl_install mongodb
-	fi
+if [[ "${dist}" = "focal" || "${dist}" = "jammy" || "${dist}" = "noble" ]]; then
+    if [[ $VERSION =~ ^master$ || $VERSION =~ snapshot$ ]]; then
+        git clone https://github.com/mongodb/mongo-php-driver.git
+        pushd mongo-php-driver
+        git submodule update --init
+        phpize
+        ./configure
+        make all
+        make install
+        popd
+    else
+        pecl channel-update pecl.php.net
+        no | pecl install mongodb
+    fi
 else
-echo "MongoDB missing for PHP older than 7.4, tip set php at least 7.4 after installing php-dev"
+    echo "MongoDB missing for PHP older than 7.4, tip set php at least 7.4 after installing php-dev"
 fi
 
 travis_time_finish