switch which to command to make shellcheck happy

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

@ -684,7 +684,7 @@ fi
: "${KALEIDOSCOPE_BIN_DIR:=${KALEIDOSCOPE_DIR}/bin/}" : "${KALEIDOSCOPE_BIN_DIR:=${KALEIDOSCOPE_DIR}/bin/}"
SYSTEM_ARDUINO_CLI="$(which arduino-cli || true )" SYSTEM_ARDUINO_CLI="$(command -v arduino-cli || true )"
if [ "x${SYSTEM_ARDUINO_CLI}" == "x" ]; then if [ "x${SYSTEM_ARDUINO_CLI}" == "x" ]; then
$VERBOSE && echo "Using our own arduino-cli" $VERBOSE && echo "Using our own arduino-cli"

Loading…
Cancel
Save