mirror of
https://github.com/postgres/postgres.git
synced 2026-04-21 14:19:26 -04:00
Oops, the port is ultrix4, not ultrix
Pointed out by: Erik Bertelsen
This commit is contained in:
parent
37e7e77c33
commit
f3ceb0a144
2 changed files with 2 additions and 2 deletions
2
src/configure
vendored
2
src/configure
vendored
|
|
@ -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,"
|
||||
|
|
|
|||
|
|
@ -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,"
|
||||
|
|
|
|||
Loading…
Reference in a new issue