From a02a9dc6527fef256ae223b90af61b61fa1a1e1f Mon Sep 17 00:00:00 2001
From: jamcleod <Jordan.McLeod@ll.mit.edu>
Date: Wed, 7 Aug 2024 13:05:48 -0400
Subject: [PATCH] Add --clear-cache option to builder

---
 build.sh | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

diff --git a/build.sh b/build.sh
index eac4ada..3b6f3a9 100755
--- a/build.sh
+++ b/build.sh
@@ -34,18 +34,22 @@ while [[ $# -gt 0 ]]; do
             help
             exit
             ;;
+        --clear-cache)
+            docker run --rm -v $PWD/cache:/tmp/build -v $PWD:/app pandare/kernel_builder /bin/bash -c "rm -r /tmp/build/*"
+            exit
+            ;;
         --config-only)
             CONFIG_ONLY=true
-            shift # past argument
+            shift # past flag
             ;;
         --versions)
             VERSIONS="$2"
-            shift # past argument
+            shift # past flag
             shift # past value
             ;;
         --targets)
             TARGETS="$2"
-            shift # past argument
+            shift # past flag
             shift # past value
             ;;
         *)