Merge pull request #891 from szfcbr/irix32

OS: detect 32-bit IRIX
This commit is contained in:
Herdiansyah 2018-01-05 13:31:37 +07:00 committed by GitHub
commit 34a07a33b2
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -43,7 +43,7 @@ get_os() {
"Haiku") os="Haiku" ;;
"MINIX") os="MINIX" ;;
"AIX") os="AIX" ;;
"IRIX64") os="IRIX" ;;
"IRIX"*) os="IRIX" ;;
"FreeMiNT") os="FreeMiNT" ;;
*)
printf "%s\n" "Unknown OS detected: '$kernel_name', aborting..." >&2