U204-026-arch-mix/update.sh: do not assume dev branch is pushed

Rework the update scripts so that they work even when the gnatcoverage
repository changes are only local (but still committed). The scripts
used to assume that the currently checked out branch was also pushed
upstream.

Author: pmderodat

testsuite/tests/U204-026-arch-mix/update.sh

@@ -33,6 +33,7 @@ then
     "$IOD_DEV_DIR/create-base.py" --base-image x86_64-windows-2019
 fi
 
-git_branch=$(git rev-parse --abbrev-ref HEAD)
-ssh iod 'bash -s' < update_arch_mix_windows.sh $git_branch
+ssh iod 'bash -s' < update_win_setup_git.sh
+git push -f iod:gnatcoverage HEAD:wip
+ssh iod 'bash -s' < update_arch_mix_windows.sh
 rsync -av iod:/cygdrive/c/tmp/U204-026-arch-mix/gen/* gen/

testsuite/tests/U204-026-arch-mix/update_arch_mix_windows.sh

@@ -2,26 +2,16 @@
 
 set -ex
 
-if [ $# -eq 0 ]; then
-  echo "No arguments provided. Please provide the name of the gnatcov branch"
-  exit 1
-fi
-
 # Create a sandbox
 cd /Users/itmgr
-if ! [ -d gnatcoverage ]
-then
-    git clone git-adacore:eng/cov/gnatcoverage
-fi
 if ! [ -d wave ]
 then
     anod init wave
 fi
 
 # Checkout the right gnatcov branch
 cd /Users/itmgr/gnatcoverage
-git fetch origin
-git checkout origin/$1
+git reset --hard wip
 
 # Build gnatcov
 cd /Users/itmgr/wave

testsuite/tests/U204-026-arch-mix/update_win_setup_git.sh

@@ -0,0 +1,9 @@
+# Set up the gnatcoverage repositoy on the Windows IOD machie
+
+set -ex
+
+cd /Users/itmgr
+if ! [ -d gnatcoverage ]
+then
+    git clone git-adacore:eng/cov/gnatcoverage
+fi