updated git_pull_make_repos.sh

git_pull_make_repos.sh

@@ -63,15 +63,18 @@ if [ -z "${JAVA_HOME:-}" ]; then
     fi
 fi
 
-if type yum &>/dev/null; then
+if ! type -P git &>/dev/null ||
+   ! type -P make &>/dev/null; then
+    if type -P yum &>/dev/null; then
         yum install -y git make
-elif type apt-get &>/dev/null; then
+    elif type -P apt-get &>/dev/null; then
         apt-get update
         apt-get install -y --no-install-recommends git make
-elif type apk &>/dev/null; then
+    elif type -P apk &>/dev/null; then
         apk update
         apk add git make
     fi
+fi
 
 for repo in $repolist; do
     if ! echo "$repo" | grep -q "/"; then