summaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorArnold D. Robbins <arnold@skeeve.com>2014-02-26 20:38:51 +0200
committerArnold D. Robbins <arnold@skeeve.com>2014-02-26 20:38:51 +0200
commitdad57e4fdd815c9038267ec0fc7aa593f20b0a05 (patch)
treec1348eeff44335e29ac7ab1eaab8dab000e671af /configure
parent0a66ebd338de385b08e8cf80c39b99f5abc205db (diff)
downloadgawk-dad57e4fdd815c9038267ec0fc7aa593f20b0a05.tar.gz
Fix configure for MirBSD also. Bleah.
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure4
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