remove unused ARDUINO_TOOLS_FLAG and ARDUINO_TOOLS_PARAM

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

@ -238,11 +238,6 @@ AVR_GPLUSPLUS="${AVR_GCC:-${COMPILER_PATH}/${COMPILER_PREFIX}${CXX_COMPILER_BASE
: "${BOARD_HARDWARE_PATH:=${ARDUINO_LOCAL_LIB_PATH}/hardware}"
if [ ! -z "${ARDUINO_TOOLS_PATH}" ]; then
ARDUINO_TOOLS_PARAM="${ARDUINO_TOOLS_PATH}"
ARDUINO_TOOLS_FLAG="-tools"
fi
if [ ! -z "${AVR_GCC_PREFIX}" ]; then
ARDUINO_AVR_GCC_PREFIX_PARAM="-prefs \"runtime.tools.avr-gcc.path=${AVR_GCC_PREFIX}\""
fi

Loading…
Cancel
Save