Allow MAKE='make V=1' and similar.
https://bugs.gentoo.org/795678
--- a/configure+++ b/configure@@ -1953,7 +1953,7 @@ if test -z "$python"then
error_exit "Python not found. Use --python=/path/to/python"
fi
-if ! has "$make"+if ! has $makethen
error_exit "GNU make ($make) not found"
fi