update MAKE.bat

2023-10-20 21:29:51 +02:00 · 2023-10-20 21:29:51 +02:00 · 25224c6db1
parent ff08939b06
commit 25224c6db1
2 changed files with 4 additions and 1 deletions
--- a/MAKE.bat
+++ b/MAKE.bat
@ -158,6 +158,9 @@ if "%1"=="pull" (
 )

 if "%1"=="depot" (
+    pushd depot\
+        git pull
+    popd
    git submodule update --remote --merge depot/
    exit /b
 )
--- a/2
+++ b/2
@ -1 +1 @@
-Subproject commit 660eaa0992e99ed1a36c50faf7f4f5f2c84ad2c0
+Subproject commit 80c739fc0ce8381e2200f347654b23b646f12fba