From ec42e83d032d0a4f508e97152f0b62d671298618 Mon Sep 17 00:00:00 2001
From: David Tomaschik <david@systemoverlord.com>
Date: Sat, 5 Aug 2017 15:04:12 -0700
Subject: [PATCH] Add esp to tools selection.

---
 bin/install_tool | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/bin/install_tool b/bin/install_tool
index 1c48574..0d20880 100755
--- a/bin/install_tool
+++ b/bin/install_tool
@@ -140,6 +140,14 @@ case ${TOOL} in
     tar zx -C ${DESTDIR} -f /tmp/mitmproxy.tar.gz
     rm /tmp/mitmproxy.tar.gz
     ;;
+  esp)
+    src="https://dl.espressif.com/dl/xtensa-esp32-elf-linux64-1.22.0-61-gab8375a-5.2.0.tar.gz"
+    download ${src} /tmp/esp32.tar.gz
+    mkdir -p ${DESTDIR}
+    tar zx -C ${DESTDIR} -f /tmp/esp32.tar.gz
+    rm /tmp/esp32.tar.gz
+    git clone --recursive https://github.com/espressif/esp-idf.git ${DESTDIR}/esp-idf
+    ;;
   *)
     echo "Unknown tool: ${TOOL}" >/dev/stderr
     exit 1