diff options
Diffstat (limited to 'gdb/configure')
| -rwxr-xr-x | gdb/configure | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gdb/configure b/gdb/configure index 34c20b0..eeca44b 100755 --- a/gdb/configure +++ b/gdb/configure @@ -1546,7 +1546,8 @@ case "${host}" in a29k-*-*) gdb_host=ultra3 ;; alpha-*-osf1*) gdb_host=alpha-osf1 ;; -alpha-*-osf[23456789]*) gdb_host=alpha-osf2 ;; +alpha-*-osf2*) gdb_host=alpha-osf2 ;; +alpha-*-osf[3456789]*) gdb_host=alpha-osf3 ;; arm-*-*) gdb_host=arm ;; |