diff options
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure b/configure index 5366d713e0b..eb69f28d59e 100755 --- a/configure +++ b/configure @@ -3584,7 +3584,7 @@ case "${target}" in fi ;; tic6x-*-*) - noconfigdirs="$noconfigdirs gdb sim" + noconfigdirs="$noconfigdirs sim" ;; tilepro-*-* | tilegx-*-*) noconfigdirs="$noconfigdirs sim" |