diff --git a/src/configure b/src/configure index 825dad34d9..7dd3d644b5 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 0ebfdba484..4d14bac442 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,"