From 83396b7df1e8fa37de0bc79e8b2a1d17326dba6f Mon Sep 17 00:00:00 2001
From: Leonid Plyushch <leonid.plyushch@gmail.com>
Date: Wed, 14 Aug 2019 15:13:39 +0300
Subject: [PATCH] linter: source ./scripts/properties.sh only if it exists

---
 scripts/lint-packages.sh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/scripts/lint-packages.sh b/scripts/lint-packages.sh
index 2357863c9..767d153b5 100755
--- 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"