diff --git a/gnattools/configure b/gnattools/configure index 423527da1b6..6cdfbe67af2 100755 --- a/gnattools/configure +++ b/gnattools/configure @@ -2052,74 +2052,38 @@ fi # Target-specific stuff (defaults) TOOLS_TARGET_PAIRS= - EXTRA_GNATTOOLS= - # Per-target case statement # ------------------------- case "${target}" in *-*-aix*) - TOOLS_TARGET_PAIRS="\ - mlib-tgt-specific.adb