Fetch arduino core indices before updating our cores

It is entirely unclear to me how this ever worked before.
4 years ago · 59bc793c30
parent 3458b481ec
commit 59bc793c30
2 changed files with 7 additions and 2 deletions
--- a/docs/_sphinx/pycache/copy-plugin-readmes.cpython-39.pyc
+++ b/docs/_sphinx/pycache/copy-plugin-readmes.cpython-39.pyc
--- a/etc/makefiles/arduino-cli.mk
+++ b/etc/makefiles/arduino-cli.mk
@ -146,9 +146,14 @@ configure-arduino-cli: $(ARDUINO_DIRECTORIES_DATA)/arduino-cli.yaml
 $(ARDUINO_DIRECTORIES_DATA)/arduino-cli.yaml:
 	$(QUIET) $(ARDUINO_CLI) config init

-install-arduino-core-kaleidoscope:
+arduino-update-cores:
+	$(QUIET) $(ARDUINO_CLI) core update-index
+
+
+
+install-arduino-core-kaleidoscope: arduino-update-cores
 	$(QUIET) $(ARDUINO_CLI) core install "keyboardio:avr"

-install-arduino-core-avr: 
+install-arduino-core-avr: arduino-update-cores
 	$(QUIET) $(ARDUINO_CLI) core install "arduino:avr"