diff options
Diffstat (limited to 'gnattools/configure')
-rwxr-xr-x | gnattools/configure | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/gnattools/configure b/gnattools/configure index 05183085265..5243ebd70e4 100755 --- a/gnattools/configure +++ b/gnattools/configure @@ -2039,6 +2039,11 @@ case "${target}" in mlib-tgt-specific.adb<mlib-tgt-specific-darwin.adb \ indepsw.adb<indepsw-darwin.adb" ;; + *-*-dragonfly*) + TOOLS_TARGET_PAIRS="\ + mlib-tgt-specific.adb<mlib-tgt-specific-linux.adb \ + indepsw.adb<indepsw-gnu.adb" + ;; *-*-freebsd*) TOOLS_TARGET_PAIRS="\ mlib-tgt-specific.adb<mlib-tgt-specific-linux.adb \ |