diff options
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/configure b/configure index 35f231ea92b..ad3dfb70c5d 100755 --- a/configure +++ b/configure @@ -3962,9 +3962,12 @@ case "${target}" in tic6x-*-*) noconfigdirs="$noconfigdirs sim" ;; - tilepro*-*-* | tilegx*-*-*) + tilegx*-*-*) noconfigdirs="$noconfigdirs sim" ;; + tilepro*-*-*) + noconfigdirs="$noconfigdirs gdb sim" + ;; v810-*-*) noconfigdirs="$noconfigdirs bfd binutils gas gdb ld opcodes target-libgloss" ;; |