diff options
author | Ilya Zverev <zverik@textual.ru> | 2016-01-25 11:39:49 +0300 |
---|---|---|
committer | Ilya Zverev <zverik@textual.ru> | 2016-01-25 11:39:49 +0300 |
commit | 4c0a7a65303f2fb4a0024f970c6e517e1f505677 (patch) | |
tree | 93c284911c6b29306cbc3a82d8b32b416d9195ed /configure.sh | |
parent | 0dee7a1c4bea4fa7547117b3dddb21cff45cc4f5 (diff) |
[build] Check for private.h in build_omim.sh
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 365158e3cc..c990391751 100755 --- a/configure.sh +++ b/configure.sh @@ -62,7 +62,7 @@ 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" - cp -Rv "$TMP_REPO_DIR"/* . + cp -Rv "$TMP_REPO_DIR"/* "$BASE_PATH" rm -rf "$TMP_REPO_DIR" echo "Private files have been updated." fi |