update get-dependencies to pull updates

coin-or · Jan 29, 2024 · 59c498c · 59c498c
1 parent a263195
commit 59c498c
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/get-dependencies.bat b/get-dependencies.bat
@@ -20,6 +20,12 @@ for /f "eol=# tokens=1,2,3" %%i in (%depfile%) do (
     git -C ..\%%i fetch --all
     git -C ..\%%i checkout %%k
     if errorlevel 1 pause
+    git -C ..\%%i status | find /i "HEAD detached"
+    if errorlevel 1 (
+      echo INFO: Not at detached head, so try to pull changes.
+      git -C ..\%%i pull
+      if errorlevel 1 pause
+    )
   )
   echo INFO: Finished with ..\%%i
 )