1 files changed, 1 insertions, 3 deletions
diff --git a/configure b/configure
index 6c434883..2b4a193a 100755
--- a/configure
+++ b/configure
@@ -10068,9 +10068,7 @@ if test "x$enable_extensions" != "xno"; then
 	extensions_supported=no
 
 		case $host_os in
-	mirbsd*)
-		: ;;
-	openedition*)	# OS/390 z/OS POSIX layer
+	mirbsd* | openedition*)	# OS/390 z/OS POSIX layer
 		cat << \EOF > extension/Makefile
 all dist check clean distclean install uninstall distcheck:
 	@exit 0