mirror of
https://git.postgresql.org/git/postgresql.git
synced 2024-09-28 03:51:50 +02:00
Make sure we have an irix port
Pointed out by: Dave Morrison (mirrison@mail.phy.ornl.gov)
This commit is contained in:
parent
5d9f146c64
commit
ba82bb3eac
331
src/configure
vendored
331
src/configure
vendored
File diff suppressed because it is too large
Load Diff
@ -14,6 +14,7 @@ case "$host_os" in
|
|||||||
aix*) PORTNAME='aix';;
|
aix*) PORTNAME='aix';;
|
||||||
nextstep*) PORTNAME='nextstep';;
|
nextstep*) PORTNAME='nextstep';;
|
||||||
ultrix*) PORTNAME='ultrix4';;
|
ultrix*) PORTNAME='ultrix4';;
|
||||||
|
irix*) PORTNAME='irix5';;
|
||||||
*) echo ""
|
*) echo ""
|
||||||
echo "*************************************************************"
|
echo "*************************************************************"
|
||||||
echo "configure does not currently recognize your operating system,"
|
echo "configure does not currently recognize your operating system,"
|
||||||
|
Loading…
Reference in New Issue
Block a user