Index: autobuild/scripts/autobuild
===================================================================
--- autobuild/scripts/autobuild	(revision 905)
+++ autobuild/scripts/autobuild	(revision 1215)
@@ -42,5 +42,4 @@
 	extDir="$topdir/$ext"
 
-	phpVersions=("${phpVersions[@]}")
 	extVersions=($(getExtVersions "$ext"))
 
@@ -87,7 +86,21 @@
 foreachPhpVersion() { # {{{1
 	local phpVersion
+	local badVersion
+	local ok
 	for phpVersion in "${phpVersions[@]}"; do (
-		loadPhpVersion "$phpVersion"
-		"$@"
+		ok=1
+		for badVersion in "${extBadPhpVersions[@]}"; do
+			case "$extVersion-$phpVersion" in
+			$badVersion)
+				ok=0
+				;;
+			esac
+		done
+		case "$ok" in
+		1)
+			loadPhpVersion "$phpVersion"
+			"$@"
+			;;
+		esac
 	); done
 }