]> Zhao Yanbai Git Server - minix.git/commitdiff
build:check if .settings file is a file.
authorKees Jongenburger <kees.jongenburger@gmail.com>
Mon, 24 Mar 2014 16:30:45 +0000 (17:30 +0100)
committerLionel Sambuc <lionel@minix3.org>
Mon, 28 Jul 2014 15:05:21 +0000 (17:05 +0200)
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

index 2575bc5a79b65ddb8a7c43734138f578ab06ca06..6b777595a0f323d83987530a9da0fb4197cc36bc 100755 (executable)
@@ -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