From 372247712a11772af1d8c022985bbacda41aae70 Mon Sep 17 00:00:00 2001 From: Kees Jongenburger Date: Mon, 24 Mar 2014 17:30:45 +0100 Subject: [PATCH] build:check if .settings file is a file. Check if the .settings entry is a file and not a directory. Eclipse as we found out also likes creating .settings directories. Change-Id: I3cbcaa7aa9e5dfb3d51c6c71df7fd72079fe213e --- releasetools/arm_sdimage.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/releasetools/arm_sdimage.sh b/releasetools/arm_sdimage.sh index 2575bc5a7..6b777595a 100755 --- a/releasetools/arm_sdimage.sh +++ b/releasetools/arm_sdimage.sh @@ -4,7 +4,7 @@ set -e # # Source settings if present # -if [ -e .settings ] +if [ -f .settings ] then echo "Sourcing settings from .settings" # Display the content (so we can check in the build logs -- 2.44.0