diff options
| -rw-r--r-- | hints/irix_6.sh | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/hints/irix_6.sh b/hints/irix_6.sh index 676aacb5ed..a70005a1bb 100644 --- a/hints/irix_6.sh +++ b/hints/irix_6.sh @@ -55,10 +55,14 @@ case "$cc" in ccflags="$ccflags -D_BSD_TYPES -D_BSD_TIME -woff 1009,1042,1048,1110,1116,1184 -OPT:Olimit=0" optimize='none' ;; - *7.1*|*7.2) # Mongoose 7.1+ + *7.1*|*7.2|*7.20) # Mongoose 7.1+ ccflags="$ccflags -D_BSD_TYPES -D_BSD_TIME -woff 1009,1110,1184 -OPT:Olimit=0" optimize='-O3' - pp_ctl_cflags='optimize=-O' +# This is a temporary fix for 5.005. +# Leave pp_ctl_cflags line at left margin for Configure. See +# hints/README.hints, especially the section +# =head2 Propagating variables to config.sh +pp_ctl_cflags='optimize=-O' ;; *7.*) # Mongoose 7.2.1+ ccflags="$ccflags -D_BSD_TYPES -D_BSD_TIME -woff 1009,1110,1184 -OPT:Olimit=0:space=on" |