[#74021] add relocating nodist directory

2025-03-04 13:08:14 +01:00 · 2025-03-04 13:08:14 +01:00 · 59a9197abe
parent 738d7fff53
commit 59a9197abe
1 changed files with 2 additions and 0 deletions
--- a/ci/ci-script.bash
+++ b/ci/ci-script.bash
@ -98,6 +98,8 @@ elif [ "$CI_BUILD_STAGE_NAME" = "test" ]; then
     export VERILATOR_ROOT="$RELOC_DIR/relocated-install/share/verilator"
     TEST_REGRESS="$RELOC_DIR/test_regress"
     mv test_regress "$TEST_REGRESS"
+     NODIST="$RELOC_DIR/nodist"
+     mv nodist "$NODIST"
     # Feeling brave?
     find . -delete
     ls -la .