build.sh: fix repo reset on clone

The script failed to reset to the desired commit when cloning.
Fixed that.

Signed-off-by: Leif Lindholm <leif.lindholm@linaro.org>

1 files changed, 14 insertions, 7 deletions

diff --git a/build.sh b/build.sh
index be38313..2a85aa9 100755
--- a/build.sh
+++ b/build.sh
@@ -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
 }