Remove unused AVR_GCC_PREFIX

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

@ -476,7 +476,6 @@ dump_arduino_prefs() {
do_compile_with_cli() { do_compile_with_cli() {
#-build-cache "${CORE_CACHE_PATH}" \ #-build-cache "${CORE_CACHE_PATH}" \
#$CCACHE_ENABLE \ #$CCACHE_ENABLE \
#${ARDUINO_AVR_GCC_PREFIX_PARAM} \
if [ $CCACHE_ENABLED ]; then if [ $CCACHE_ENABLED ]; then

@ -220,6 +220,3 @@ COMPILER_PREFIX="${COMPILER_PREFIX-avr-}"
: "${BOARD_HARDWARE_PATH:=${ARDUINO_LOCAL_LIB_PATH}/hardware}" : "${BOARD_HARDWARE_PATH:=${ARDUINO_LOCAL_LIB_PATH}/hardware}"
if [ ! -z "${AVR_GCC_PREFIX}" ]; then
ARDUINO_AVR_GCC_PREFIX_PARAM="-prefs \"runtime.tools.avr-gcc.path=${AVR_GCC_PREFIX}\""
fi

Loading…
Cancel
Save