diff --git a/install_modules.sh b/install_modules.sh index 913fdffb8a..16fd7da250 100644 --- a/install_modules.sh +++ b/install_modules.sh @@ -16,7 +16,7 @@ function clone_git() { OLDDIR=`pwd` cd $MODULE_PATH/$REPO if ! git rev-parse HEAD | grep "^$REV" >/dev/null; then - git fetch $REMOVE_URL + git fetch $REMOTE_URL git reset --hard $REV >/dev/null fi cd $OLDDIR