diff --git a/build/common.sh b/build/common.sh index 158191b..4414e94 100644 --- a/build/common.sh +++ b/build/common.sh @@ -277,8 +277,10 @@ confirm|fingerprint|info|print) ;; esac +PKGBIN=$(which pkg || true) + for WANT in git ${PRODUCT_WANTS}; do - if ! pkg info ${WANT} > /dev/null; then + if ! ${PKGBIN} info ${WANT} > /dev/null; then echo ">>> Required build package '${WANT}' is not installed." >&2 exit 1 fi @@ -298,7 +300,7 @@ git_fetch() { echo ">>> Fetching ${1}:" - git -C ${1} fetch --all --prune + git -C ${1} fetch --tags --prune } git_clone() diff --git a/device/A10.conf b/device/A10.conf index b02e133..775bdba 100644 --- a/device/A10.conf +++ b/device/A10.conf @@ -4,6 +4,8 @@ serial_hook() { # We do not require any custom hooks for the A10, but for # the sake of demonstration, we keep this little stub. :) + + : # prevent syntax error } # unset this for generic device handling, i.e. no device suffix