[#74021] add relocating nodist directory

antmicro · Mar 4, 2025 · 2fc4554 · 2fc4554
1 parent 3153a2a
commit 2fc4554
Showing 1 changed file with 2 additions and 0 deletions.
diff --git 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 .