1 files changed, 2 insertions, 1 deletions
diff --git a/mk b/mk
index 55f67a92..dcf135a1 100755
--- a/mk
+++ b/mk
@@ -326,7 +326,8 @@ check_gnu_path()
 	command -v "$1" 1>/dev/null || err "Host '$1' unavailable"
 
 	eval "`setvars "" gccver gccfull gnatver gnatfull gccdir gnatdir`"
-	x_ gnu_setver "$1" "$1" && gnu_setver "$2" "$2" || :
+	x_ gnu_setver "$1" "$1" || err "Command '$1' unavailable."
+	gnu_setver "$2" "$2" || :
 
 	eval "[ -z \"\$$1ver\" ] && err \"Cannot detect host '$1' version\""
 	[ "$gnatfull" = "$gccfull" ] && return 0