From 349e29f2ae2c116f0a5ad0def7b8652c5e3e11e8 Mon Sep 17 00:00:00 2001 From: greshilov Date: Tue, 9 Jan 2018 18:24:27 +0300 Subject: [PATCH] Fix configure.sh file +Quotes --- configure.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/configure.sh b/configure.sh index aeb0e23905..1d2b2d72a6 100755 --- a/configure.sh +++ b/configure.sh @@ -12,7 +12,7 @@ PRIVATE_PUSHWOOSH_PROPERTIES="$BASE_PATH/android/pushwoosh.properties" SAVED_PRIVATE_REPO_FILE="$BASE_PATH/.private_repository_url" TMP_REPO_DIR="$BASE_PATH/.tmp.private.repo" -if [ ! -f "$BASE_PATH/omim.pro" ]; then +if [ "$(git rev-parse --show-toplevel)" != "$PWD" ]; then echo "Please run this script from the root repository folder." exit -1 fi