From f8c297d19b5c38bffccc1a55955bec14e194abfb Mon Sep 17 00:00:00 2001
From: Jesse Vincent <jesse@keyboard.io>
Date: Sat, 17 Oct 2020 18:53:34 -0700
Subject: [PATCH] Revert "remove a pair of obsolete make targets"

This reverts commit d33d61d5029d03ceb20e37a7930d694e04bcf720.
---
 bin/kaleidoscope-builder | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)

diff --git a/bin/kaleidoscope-builder b/bin/kaleidoscope-builder
index 72dfeb1a..3df07640 100755
--- a/bin/kaleidoscope-builder
+++ b/bin/kaleidoscope-builder
@@ -466,6 +466,26 @@ find_all_sketches () {
     done | sort
 }
 
+build_all () {
+    plugins="$(find_all_sketches)"
+
+    for plugin in ${plugins}; do
+        export SKETCH="${plugin}"
+        $0 "${plugin}" build
+    done
+}
+
+
+compile_all () {
+    plugins="$(find_all_sketches)"
+
+    for plugin in ${plugins}; do
+        export SKETCH="${plugin}"
+        $0 "${plugin}" compile
+    done
+}
+
+
 size () {
     compile