diff options
author | Victor Popov <v.popov@corp.mail.ru> | 2019-01-15 11:40:37 +0300 |
---|---|---|
committer | Roman Kuznetsov <r.kuznetsow@gmail.com> | 2019-01-15 13:36:37 +0300 |
commit | f469752a9c3ceebcdeaf8d6b84cf03e3df0a0263 (patch) | |
tree | 3b6d619613c1f7aebb85743dd3604c1176bfa886 /configure.sh | |
parent | 9ef981f67b8029df5831286523fccdb5a9fd1467 (diff) |
Remove requirement to build from a git checkout
Sources can be obtained via download of tarball from github,
and in that case git rev-parse is not possible.
Also, every path in script is not dependent on current workdir.
Diffstat (limited to 'configure.sh')
-rwxr-xr-x | configure.sh | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/configure.sh b/configure.sh index 91780cfb9b..b10fc21993 100755 --- a/configure.sh +++ b/configure.sh @@ -14,11 +14,6 @@ PRIVATE_NETWORK_CONFIG="$BASE_PATH/android/res/xml/network_security_config.xml" SAVED_PRIVATE_REPO_FILE="$BASE_PATH/.private_repository_url" TMP_REPO_DIR="$BASE_PATH/.tmp.private.repo" -if [ "$(git rev-parse --show-toplevel)" != "$(pwd -P)" ]; then - echo "Please run this script from the root repository folder." - exit 1 -fi - if [ -f "$SAVED_PRIVATE_REPO_FILE" ]; then PRIVATE_REPO=`cat "$SAVED_PRIVATE_REPO_FILE"` echo "Using stored private repository URL: $PRIVATE_REPO" |