Update repo-clean.sh

2023-05-25 00:43:12 -07:00
parent de54b18e8d
commit 26a6f62ca7
1 changed files with 7 additions and 4 deletions
--- 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
 )