Jenkins Git doesn't support "restore"

2020-05-20 19:51:13 +02:00 · 2020-05-20 19:51:13 +02:00 · 8f227779e6
parent 1706e69d84
commit 8f227779e6
1 changed files with 1 additions and 1 deletions
--- 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)