diff options
Diffstat (limited to 'gnattools/configure')
| -rwxr-xr-x | gnattools/configure | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gnattools/configure b/gnattools/configure index 5243ebd70e..8c75cc06eb 100755 --- a/gnattools/configure +++ b/gnattools/configure @@ -567,6 +567,7 @@ TOOLS_TARGET_PAIRS default_gnattools_target LN_S target_noncanonical +host_noncanonical target_os target_vendor target_cpu @@ -1990,6 +1991,8 @@ esac *) host_noncanonical=${host_alias} ;; esac + + case ${target_alias} in "") target_noncanonical=${host_noncanonical} ;; *) target_noncanonical=${target_alias} ;; |