diff options
author | greshilov <slovaricheg@gmail.com> | 2018-01-09 18:24:27 +0300 |
---|---|---|
committer | Ilya Zverev <ilya@zverev.info> | 2018-01-09 21:08:28 +0300 |
commit | 349e29f2ae2c116f0a5ad0def7b8652c5e3e11e8 (patch) | |
tree | 25b141878d27c34e17a7e9f2d6e62a599e6ba9a1 /configure.sh | |
parent | 6aa2f7c2099ec0eb5db3a0a21709c294ade93af1 (diff) |
Fix configure.sh file
+Quotes
Diffstat (limited to 'configure.sh')
-rwxr-xr-x | configure.sh | 2 |
1 files changed, 1 insertions, 1 deletions
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 |