From 372247712a11772af1d8c022985bbacda41aae70 Mon Sep 17 00:00:00 2001
From: Kees Jongenburger <kees.jongenburger@gmail.com>
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