From 4399ce6ad90bf327e76b327ba9ca455f0d9ffcf6 Mon Sep 17 00:00:00 2001 From: Ivan Folgueira Bande Date: Fri, 24 Oct 2025 22:31:51 +0200 Subject: [PATCH] add git pull master in sds Makefile --- sds/Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/sds/Makefile b/sds/Makefile index a9c8c74..83a40ed 100644 --- a/sds/Makefile +++ b/sds/Makefile @@ -26,6 +26,7 @@ prepare: @cd ../third_party/nim-sds && \ git fetch origin && \ git checkout master && \ + git pull origin master && \ echo "Running 'make update'..." && \ make update