From 328e544712b040615aced10fdc2867648abd319c Mon Sep 17 00:00:00 2001
From: Christian Luksch <luksch@vrvis.at>
Date: Tue, 14 Mar 2023 13:30:32 +0100
Subject: [PATCH] added optional "restore" argument to build.cmd: restore only
 and start working in VS

---
 build.cmd | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/build.cmd b/build.cmd
index 27a79ba0..dfd4860d 100644
--- a/build.cmd
+++ b/build.cmd
@@ -1,4 +1,7 @@
 @echo off
 dotnet tool restore
 dotnet paket restore
+
+IF "%1"=="restore" exit /B
+
 dotnet build src\Aardvark.sln