From 8f227779e6fd8b9723b0f91eb49a891940cc7d18 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=C8=98tefan=20Talpalaru?= <stefantalpalaru@yahoo.com>
Date: Wed, 20 May 2020 19:51:13 +0200
Subject: [PATCH] Jenkins Git doesn't support "restore"

---
 makefiles/targets.mk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/makefiles/targets.mk b/makefiles/targets.mk
index 1a8b149..446f445 100644
--- a/makefiles/targets.mk
+++ b/makefiles/targets.mk
@@ -57,7 +57,7 @@ update-common: | sanity-checks
 	# changing URLs in a submodule's submodule means we have to sync and update twice
 	git submodule sync --quiet --recursive
 	git submodule update --init --recursive
-	git submodule foreach --quiet --recursive 'git restore .'
+	git submodule foreach --quiet --recursive 'git reset .'
 	rm -rf $(NIMBLE_DIR)
 	+ $(MAKE) --no-print-directory deps
 ifeq ($(USE_SYSTEM_NIM), 0)