diff options
-rw-r--r-- | configure.in | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/configure.in b/configure.in index 324d4af..cfe7077 100644 --- a/configure.in +++ b/configure.in @@ -622,15 +622,19 @@ case "${target}" in arm-*-coff*) noconfigdirs="$noconfigdirs target-libgloss" ;; +# start-sanitize-armelf arm-*-elf*) noconfigdirs="$noconfigdirs target-libgloss" ;; +# end-sanitize-armelf thumb-*-coff) noconfigdirs="$noconfigdirs target-libgloss" ;; +# start-sanitize-armelf thumb-*-elf) noconfigdirs="$noconfigdirs target-libgloss" ;; +# end-sanitize-armelf thumb-*-pe) # CYGNUS LOCAL nickc/thumb noconfigdirs="$noconfigdirs target-libgloss" ;; |