diff options
| -rwxr-xr-x | src/configure | 2 | ||||
| -rw-r--r-- | src/configure.in | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/configure b/src/configure index 825dad34d92..7dd3d644b51 100755 --- a/src/configure +++ b/src/configure @@ -576,7 +576,7 @@ case "$host_os" in dgux*) PORTNAME='dgux';; aix*) PORTNAME='aix';; nextstep*) PORTNAME='nextstep';; - ultrix*) PORTNAME='ultrix';; + ultrix*) PORTNAME='ultrix4';; *) echo "" echo "*************************************************************" echo "configure does not currently recognize your operating system," diff --git a/src/configure.in b/src/configure.in index 0ebfdba4841..4d14bac4428 100644 --- a/src/configure.in +++ b/src/configure.in @@ -13,7 +13,7 @@ case "$host_os" in dgux*) PORTNAME='dgux';; aix*) PORTNAME='aix';; nextstep*) PORTNAME='nextstep';; - ultrix*) PORTNAME='ultrix';; + ultrix*) PORTNAME='ultrix4';; *) echo "" echo "*************************************************************" echo "configure does not currently recognize your operating system," |