From 7a12be25bccfed84290542a7c01fc3ec2bbac1f6 Mon Sep 17 00:00:00 2001
From: Jesse Vincent <jesse@keyboard.io>
Date: Sat, 17 Oct 2020 17:13:23 -0700
Subject: [PATCH] Fix an embarassing typo.

This is why we do PRs, even for quick fixes and don't just push to master because we're the project lead and yolo.
---
 etc/kaleidoscope-builder.conf | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/etc/kaleidoscope-builder.conf b/etc/kaleidoscope-builder.conf
index d3fb5856..4f3e7437 100644
--- a/etc/kaleidoscope-builder.conf
+++ b/etc/kaleidoscope-builder.conf
@@ -63,6 +63,7 @@ get_arduino_pref() {
 dump_arduino_prefs() {
 # SKETCH and -build-path in this command are here because of a bug introduced in Arduino 1.8.10
 # https://github.com/arduino/arduino-builder/issues/341
+
     if [ "x${_ARDUINO_PREFS}x" == "xx" ]; then
 
 	    _ARDUINO_PREFS=$("${ARDUINO_BUILDER}" \
@@ -222,9 +223,9 @@ 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_BUILDER_TOOLS_PATH:=${ARDUINO_PATH}/tools-builder}"
+
 ARDUINO_IDE_VERSION="10607"
 
 ######