Merge remote-tracking branch 'origin/main' into bumprc

2023-05-26 23:00:43 -07:00
parent 3f06dbc280 c1ad70c10f
commit bdff878643
17 changed files with 178 additions and 129 deletions
--- a/scripts/repo-clean.sh
+++ b/scripts/repo-clean.sh
@@ -26,9 +26,9 @@ rm -rf $RDIR/toolchains/esp-tools/riscv-tests/build.log
    popd
 )
 (
-    if [ -d $RDIR/generators/cva6/src/main/resources/vsrc/cva6 ]
+    if [ -d $RDIR/generators/cva6/src/main/resources/cva6/vsrc ]
    then
-        pushd $RDIR/generators/cva6/src/main/resources/vsrc/cva6
+        pushd $RDIR/generators/cva6/src/main/resources/cva6/vsrc
        if [ -d cva6 ]
        then
 	    git submodule deinit -f cva6