aboutsummaryrefslogtreecommitdiffstats
path: root/configure
diff options
context:
space:
mode:
authorArnold D. Robbins <arnold@skeeve.com>2014-02-27 06:03:55 +0200
committerArnold D. Robbins <arnold@skeeve.com>2014-02-27 06:03:55 +0200
commit8924decac2ae2a37f30c6a688e671d2b32d5ff89 (patch)
treee59f806c0a72686f412aa200a4ea476b33579303 /configure
parent7a05fe38d3e7556eb94f694173b745522878e919 (diff)
parentd80438ac6fef9137ab0450f02cd507d422aa9c32 (diff)
downloadegawk-8924decac2ae2a37f30c6a688e671d2b32d5ff89.tar.gz
egawk-8924decac2ae2a37f30c6a688e671d2b32d5ff89.tar.bz2
egawk-8924decac2ae2a37f30c6a688e671d2b32d5ff89.zip
Merge branch 'gawk-4.1-stable'
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure4
1 files changed, 1 insertions, 3 deletions
diff --git a/configure b/configure
index a9bf0805..4b64006a 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