Oops, the port is ultrix4, not ultrix

Pointed out by: Erik Bertelsen

diff --git a/src/configure b/src/configure
index 825dad34d92e2b94cbd5d5b33f7f8517bbbe4494..7dd3d644b510a9ab06fbead003aa65e855b174e5 100755 (executable)
--- 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 0ebfdba484118ed023bc21d57adde0ef0f821287..4d14bac4428ef3e6d54b5dbe0d159bbb41352826 100644 (file)
--- 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,"