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 8667058788f..bb648163ece 100755 --- a/gnattools/configure +++ b/gnattools/configure @@ -2076,9 +2076,6 @@ case "${target}" in mlib-tgt-specific.adb<mlib-tgt-specific-aix.adb \ indepsw.adb<indepsw-aix.adb" ;; - alpha*-dec-osf*) - TOOLS_TARGET_PAIRS="mlib-tgt-specific.adb<mlib-tgt-specific-tru64.adb" - ;; alpha*-dec-vms* | alpha*-dec-openvms* | alpha*-dec-vms* \ | alpha*-hp-vms* | alpha*-hp-openvms* | alpha*-hp-vms*) TOOLS_TARGET_PAIRS="\ |