diff options
-rwxr-xr-x | build.sh | 21 |
1 files changed, 14 insertions, 7 deletions
@@ -74,19 +74,26 @@ update_repo() cd - } +clone_repo() +{ + set_current_repo $1 + + echo git clone $REPO_ORIGIN + git clone $REPO_ORIGIN + + cd $1 + git reset --hard $REPO_HASH + [ $? -ne 0 ] && echo "Failed to reset '$1' to '$REPO_HASH'!" >&2 && exit 1 + cd - +} + get_repo() { TARGET_DIR=$1 if [ -d $TARGET_DIR ]; then update_repo $TARGET_DIR - if [ $? -ne 0 ]; then - echo "Failed to obtain specified version of '$TARGET_DIR'" >&2 - exit 1 - fi else - set_current_repo $1 - echo git clone $REPO_ORIGIN - git clone $REPO_ORIGIN + clone_repo $TARGET_DIR fi } |