Update repo-clean.sh

This commit is contained in:
Jerry Zhao
2023-05-25 00:29:18 -07:00
parent adcb04636d
commit de54b18e8d

View File

@@ -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