From 602a4f780713adde0fb66de6be92086ebce1cc0c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Dominik=20Madar=C3=A1sz?= <zaklaus@outlook.com>
Date: Tue, 10 Oct 2023 07:02:54 +0200
Subject: [PATCH] tooling

---
 MAKE.bat | 14 ++++++++------
 _mirror  |  2 +-
 2 files changed, 9 insertions(+), 7 deletions(-)

diff --git a/MAKE.bat b/MAKE.bat
index 89568f6..6fcc42b 100644
--- a/MAKE.bat
+++ b/MAKE.bat
@@ -12,8 +12,8 @@ if "%1"=="help" (
     echo %0 [docs]                  ; generate tools/docs/docs.html file
     echo %0 [cook]                  ; cook .zipfiles with tools/cook.ini cookbook
     echo %0 [sync]                  ; sync repo to latest
-    echo %0 [fwk]                   ; prepare files for fwk PR
-    echo %0 [fwk_sync]              ; update fwk-mirror fork
+    echo %0 [fwk_prep]              ; prepare files for fwk PR
+    echo %0 [fwk]                   ; update fwk-mirror fork
     echo %0 [lua]                   ; execute lua script with v4k
     echo %0 [html5]                 ; build HTML5 demo
     echo %0 [web]                   ; run Python webserver in html5 dir
@@ -238,14 +238,16 @@ if "%1"=="vps" (
     exit /b
 )
 
-if "%1"=="fwk_sync" (
-    git submodule update --remote --merge _mirror/
-    call MAKE.bat fwk
+if "%1"=="fwk" (
+    pushd _mirror
+        call MAKE.bat sync
+    popd
+    call MAKE.bat fwk_prep
     start "" fwk_diff.WinMerge
     exit /b
 )
 
-if "%1"=="fwk" (
+if "%1"=="fwk_prep" (
     if not exist "_fwk" mkdir "_fwk"
     if not exist "_fwk\demos" mkdir "_fwk\demos"
     if not exist "_fwk\tools" mkdir "_fwk\tools"
diff --git a/_mirror b/_mirror
index 540f50d..5daf19e 160000
--- a/_mirror
+++ b/_mirror
@@ -1 +1 @@
-Subproject commit 540f50da4da1d3cdae5f14a07f4cf963e651d26a
+Subproject commit 5daf19e6b5579dfba7d5bc83d4b2c7db02e4c3a0