From efb6772e00a7fd063f2c850cc2d10dadf0230578 Mon Sep 17 00:00:00 2001
From: Sagar Karandikar <sagark@eecs.berkeley.edu>
Date: Thu, 16 Jun 2022 18:28:32 -0700
Subject: [PATCH] Update repo-clean.sh

---
 scripts/repo-clean.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/scripts/repo-clean.sh b/scripts/repo-clean.sh
index 3be0f33b..40234d4b 100644
--- a/scripts/repo-clean.sh
+++ b/scripts/repo-clean.sh
@@ -1,5 +1,7 @@
 #!/usr/bin/env bash
 
+set -e
+
 # this should be run from chipyard repo top
 TOPDIR=$(pwd)