diff options
| author | Ilya Zverev <zverik@textual.ru> | 2015-10-05 19:16:12 +0300 |
|---|---|---|
| committer | Ilya Zverev <zverik@textual.ru> | 2015-10-05 19:16:12 +0300 |
| commit | 4a5e6d0e9c7fbfb883d00a028cd5721f85a07e90 (patch) | |
| tree | 839ea646bac94d65b852e1272acec20554487870 /configure.sh | |
| parent | 621773bcc117e6436c196496a6844b18b7120d13 (diff) | |
Fix configure.sh for sh shell
Diffstat (limited to 'configure.sh')
| -rwxr-xr-x | configure.sh | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/configure.sh b/configure.sh index fc64c1b632..9bea086b9d 100755 --- a/configure.sh +++ b/configure.sh @@ -2,7 +2,7 @@ # Please run this script to configure the repository after cloning it. # Stop on the first error. -set -e +set -e -u PRIVATE_HEADER="private.h" PRIVATE_PROPERTIES="android/secure.properties" @@ -54,8 +54,7 @@ ext { fi fi -git clone --depth 1 "$PRIVATE_REPO" "$TMP_REPO_DIR" -if [ $? == 0 ]; then +if git clone --depth 1 "$PRIVATE_REPO" "$TMP_REPO_DIR"; then echo "Saved private repository url to $SAVED_PRIVATE_REPO_FILE" echo "$PRIVATE_REPO" > "$SAVED_PRIVATE_REPO_FILE" rm -rf "$TMP_REPO_DIR/.git" "$TMP_REPO_DIR/README.md" |