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 bfb1d6b81f8..c81dbe4fac7 100755 --- a/configure +++ b/configure @@ -2215,7 +2215,7 @@ case "${target}" in noconfigdirs="$noconfigdirs ld gas gdb gprof" noconfigdirs="$noconfigdirs sim target-rda" ;; - i[3456789]86-*-darwin* | x86_64-*-darwin9*) + i[3456789]86-*-darwin* | x86_64-*-darwin[912]*) noconfigdirs="$noconfigdirs ld gas gprof" noconfigdirs="$noconfigdirs sim target-rda" ;; |