From 2157665a6d65cfa07f4e5adbf51ba66a520f67ba Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Dominik=20Madar=C3=A1sz?= Date: Sun, 8 Oct 2023 21:47:29 +0200 Subject: [PATCH] update tooling again --- MAKE.bat | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/MAKE.bat b/MAKE.bat index 03c421e..69d578f 100644 --- a/MAKE.bat +++ b/MAKE.bat @@ -162,14 +162,14 @@ if "%1"=="push" ( pushd depot git add . git commit -m "asset update" + if "%2"=="out" ( + git push + ) popd git add . git commit if "%2"=="out" ( git push - pushd depot - git push - popd ) call make.bat vps