From 7cdc09e69d2f7fc49f70c80c565aa09b19e666db Mon Sep 17 00:00:00 2001
From: Ryan Jacobs <ryan@rmj.us>
Date: Fri, 24 Nov 2023 11:04:48 -0800
Subject: [PATCH] tweak --clear-cache: use exec, so the exit code falls through

in case `rm -rf` fails
---
 c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/c b/c
index 452dca8..556df58 100755
--- a/c
+++ b/c
@@ -46,7 +46,7 @@ else
 fi
 
 # Hadle --clear-cache
-[[ "$1" == "--clear-cache" ]] && { rm -rf "$tmproot"; exit 0; }
+[[ "$1" == "--clear-cache" ]] && exec rm -rf "$tmproot"
 
 # ensure our $CC and $CXX variables are set
 [[ -z "$CC" ]]  && CC=cc