diff options
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 12 |
1 files changed, 12 insertions, 0 deletions
@@ -3664,6 +3664,15 @@ case "${target}" in cris-*-* | crisv32-*-*) libgloss_dir=cris ;; + kvx-*-elf) + libgloss_dir=kvx-elf + ;; + kvx-*-mbr) + libgloss_dir=kvx-mbr + ;; + kvx-*-cos) + libgloss_dir=kvx-cos + ;; hppa*-*-*) libgloss_dir=pa ;; @@ -3958,6 +3967,9 @@ case "${target}" in i[3456789]86-*-rdos*) noconfigdirs="$noconfigdirs gdb" ;; + kvx-*-*) + noconfigdirs="$noconfigdirs gdb sim" + ;; mmix-*-*) noconfigdirs="$noconfigdirs gdb" ;; |