diff options
| -rw-r--r-- | include/tree.sh | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/include/tree.sh b/include/tree.sh index 166a3d86..8496a49a 100644 --- a/include/tree.sh +++ b/include/tree.sh @@ -532,9 +532,7 @@ check_gnu_path() if host_gcc_gnat_match "$@"; then return 0 - fi - - if ! match_gcc_gnat_versions "$@"; then + elif ! match_gcc_gnat_versions "$@"; then return 1 fi } |