From e9c380c2a1feb697355457afce6859fba2e16520 Mon Sep 17 00:00:00 2001
From: Jesse Vincent <jesse@keyboard.io>
Date: Mon, 19 Oct 2020 01:08:38 -0700
Subject: [PATCH] finish excising arduino-builder, I think

---
 etc/kaleidoscope-builder.conf | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/etc/kaleidoscope-builder.conf b/etc/kaleidoscope-builder.conf
index ecc66e98..03339640 100644
--- a/etc/kaleidoscope-builder.conf
+++ b/etc/kaleidoscope-builder.conf
@@ -135,7 +135,6 @@ elif [ "${uname_S}" = "FreeBSD" ]; then
     : "${AVR_OBJDUMP:=/usr/local/bin/avr-objdump}"
     : "${AVRDUDE:=/usr/local/bin/avrdude}"
     : "${AVRDUDE_CONF:=/usr/local/etc/avrdude.conf}"
-    : "${ARDUINO_BUILDER:=/usr/local/bin/arduino-builder}"
 
     find_bootloader_ports() {
 	DEVICE_PORT_PROBER="${KALEIDOSCPE_BIN_DIR}/find-device-port-freebsd"
@@ -204,8 +203,6 @@ fi
 : "${ARDUINO_LOCAL_LIB_PATH:=${HOME}/Arduino}"
 : "${ARDUINO_TOOLS_PATH:=${ARDUINO_PATH}/hardware/tools}"
 : "${ARDUINO_PACKAGE_PATH:=${HOME}/.arduino15/packages}"
-: "${ARDUINO_BUILDER:=${ARDUINO_PATH}/arduino-builder}"
-: "${ARDUINO_BUILDER_TOOLS_PATH:=${ARDUINO_PATH}/tools-builder}"
 
 ARDUINO_IDE_VERSION="10607"