diff options
Diffstat (limited to 'gnattools/configure')
| -rwxr-xr-x | gnattools/configure | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/gnattools/configure b/gnattools/configure index bb648163ece..54a2be6c2db 100755 --- a/gnattools/configure +++ b/gnattools/configure @@ -2063,9 +2063,6 @@ case "${target}" in mlib-tgt-specific.adb<mlib-tgt-specific-linux.adb \ indepsw.adb<indepsw-gnu.adb" ;; - mips-sgi-irix*) - TOOLS_TARGET_PAIRS="mlib-tgt-specific.adb<mlib-tgt-specific-irix.adb" - ;; hppa*-hp-hpux10*) # Unlike hpux11 ;; hppa*-hp-hpux11*) |