Push .sbtopt CI fix

2021-08-23 15:23:06 -07:00
parent 32a4810f63
commit 15a5ac0d7a
2 changed files with 6 additions and 0 deletions
--- a/.circleci/do-rtl-build.sh
+++ b/.circleci/do-rtl-build.sh
@@ -21,6 +21,9 @@ cd $LOCAL_CHIPYARD_DIR
 ./scripts/init-submodules-no-riscv-tools.sh
 ./scripts/init-fpga.sh

+# replace the workspace dir with a local dir so you can copy around
+sed -i -E 's/(workspace=).*(\/tools)/\1$PWD\2/g' .sbtopts
+
 # set stricthostkeychecking to no (must happen before rsync)
 run "echo \"Ping $SERVER\""