Added back the second git pull. This is necessary to ensure branches and tags are updated before the git checkout. There can be scenarios where a new branch does not exist and the git checkout will fail. Without this change clone_aomp.sh will need to be executed twice.
@@ -63,6 +63,8 @@ if [ -d $repodirname ] ; then
if [ "$STASH_BEFORE_PULL" == "YES" ] ; then
git stash -u
fi
+ echo "git pull "
+ git pull
echo "cd $repodirname ; git checkout $COBRANCH"
git checkout $COBRANCH
echo "git pull "
