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

5 years ago · 83396b7df1
1 changed files with 3 additions and 1 deletions
--- a/scripts/lint-packages.sh
+++ b/scripts/lint-packages.sh
@ -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"