linter: source ./scripts/properties.sh only if it exists

This commit is contained in:
Leonid Pliushch 2019-08-14 15:13:39 +03:00
parent a4b1f952c1
commit ce0a30d684
1 changed files with 3 additions and 1 deletions

View File

@ -87,7 +87,9 @@ lint_package() {
# Using API 24 here.
TERMUX_PKG_API_LEVEL=24
. "$REPO_DIR/scripts/properties.sh"
if [ -f "$REPO_DIR/scripts/properties.sh" ]; then
. "$REPO_DIR/scripts/properties.sh"
fi
. "$package_script"