From f3ceb0a14499d5a60931ee4b953bc55bf0d1727c Mon Sep 17 00:00:00 2001
From: "Marc G. Fournier" <scrappy@hub.org>
Date: Sat, 8 Feb 1997 03:29:31 +0000
Subject: [PATCH] Oops, the port is ultrix4, not ultrix

Pointed out by: Erik Bertelsen
---
 src/configure    | 2 +-
 src/configure.in | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

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,"