From 26a6f62ca75c863ce4573e3a24ee149172078e55 Mon Sep 17 00:00:00 2001
From: Jerry Zhao <jerryz123@berkeley.edu>
Date: Thu, 25 May 2023 00:43:12 -0700
Subject: [PATCH] Update repo-clean.sh

---
 scripts/repo-clean.sh | 11 +++++++----
 1 file changed, 7 insertions(+), 4 deletions(-)

diff --git a/scripts/repo-clean.sh b/scripts/repo-clean.sh
index 1ad39cae..d6231621 100755
--- a/scripts/repo-clean.sh
+++ b/scripts/repo-clean.sh
@@ -26,10 +26,13 @@ rm -rf $RDIR/toolchains/esp-tools/riscv-tests/build.log
     popd
 )
 (
-    pushd $RDIR/generators/cva6/src/main/resources/vsrc/cva6
-    if [ -d cva6 ]
+    if [ -d $RDIR/generators/cva6/src/main/resources/vsrc/cva6 ]
     then
-	git submodule deinit -f cva6
+        pushd $RDIR/generators/cva6/src/main/resources/vsrc/cva6
+        if [ -d cva6 ]
+        then
+	    git submodule deinit -f cva6
+        fi
+        popd
     fi
-    popd
 )