fix a bug in our arudino-cli detection

tmp/arduino-cli-pre-rebase
Jesse Vincent 4 years ago
parent a764c27ad9
commit 35a2f80b8b
No known key found for this signature in database
GPG Key ID: CC228463465E40BC

@ -14,7 +14,7 @@ export ARDUINO_DIRECTORIES_USER ?= $(ARDUINO_CONTENT)/user
export ARDUINO_CLI_CONFIG ?= $(ARDUINO_DIRECTORIES_DATA)/arduino-cli.yaml export ARDUINO_CLI_CONFIG ?= $(ARDUINO_DIRECTORIES_DATA)/arduino-cli.yaml
export ARDUINO_BOARD_MANAGER_ADDITIONAL_URLS ?= https://raw.githubusercontent.com/keyboardio/boardsmanager/master/package_keyboardio_index.json export ARDUINO_BOARD_MANAGER_ADDITIONAL_URLS ?= https://raw.githubusercontent.com/keyboardio/boardsmanager/master/package_keyboardio_index.json
system_arduino_cli=$(command -v arduino-cli || true) system_arduino_cli=$(shell command -v arduino-cli || true)
ifeq ($(system_arduino_cli),) ifeq ($(system_arduino_cli),)
export ARDUINO_CLI ?= $(KALEIDOSCOPE_BIN_DIR)/arduino-cli export ARDUINO_CLI ?= $(KALEIDOSCOPE_BIN_DIR)/arduino-cli

Loading…
Cancel
Save