From e6d335873c0296c652f0f6761931d55e5a8f0289 Mon Sep 17 00:00:00 2001 From: petscheit Date: Thu, 5 Sep 2024 11:01:34 +0200 Subject: [PATCH] chore: trigger update --- tools/make/setup.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/tools/make/setup.sh b/tools/make/setup.sh index 8aa1b9fc..871677dd 100755 --- a/tools/make/setup.sh +++ b/tools/make/setup.sh @@ -64,3 +64,4 @@ pip install . || { echo "Failed to install the package."; exit 1; } # Update submodules echo "Updating git submodule..." git submodule update --init || { echo "Failed to update git submodules."; exit 1; } +