From de54b18e8dbd827d8ea68b8bacc46d3e0dc795ea Mon Sep 17 00:00:00 2001 From: Jerry Zhao Date: Thu, 25 May 2023 00:29:18 -0700 Subject: [PATCH] Update repo-clean.sh --- scripts/repo-clean.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/repo-clean.sh b/scripts/repo-clean.sh index 0ecdbb27..1ad39cae 100755 --- a/scripts/repo-clean.sh +++ b/scripts/repo-clean.sh @@ -26,7 +26,7 @@ rm -rf $RDIR/toolchains/esp-tools/riscv-tests/build.log popd ) ( - pushd $RDIR/generators/cva6/src/main/resources/vsrc + pushd $RDIR/generators/cva6/src/main/resources/vsrc/cva6 if [ -d cva6 ] then git submodule deinit -f cva6