[ci] Don't overwrite REMOTE_WORK_DIR in default.sh
This commit is contained in:
5
.github/scripts/defaults.sh
vendored
5
.github/scripts/defaults.sh
vendored
@@ -9,8 +9,9 @@ REMOTE_MAKE_NPROC=4
|
||||
# CI_DIR is defined externally based on the GH repository secret BUILDDIR
|
||||
|
||||
REMOTE_PREFIX=$CI_DIR/${GITHUB_REPOSITORY#*/}-${GITHUB_REF_NAME//\//-}
|
||||
REMOTE_WORK_DIR=$REMOTE_PREFIX/$GITHUB_WORKSPACE
|
||||
REMOTE_CHIPYARD_DIR=$REMOTE_PREFIX/$GITHUB_WORKSPACE
|
||||
# Use env.REMOTE_WORK_DIR set in workflow file
|
||||
# REMOTE_WORK_DIR=$REMOTE_PREFIX/$GITHUB_WORKSPACE
|
||||
REMOTE_CHIPYARD_DIR=$REMOTE_WORK_DIR
|
||||
REMOTE_SIM_DIR=$REMOTE_CHIPYARD_DIR/sims/verilator
|
||||
REMOTE_FIRESIM_DIR=$REMOTE_CHIPYARD_DIR/sims/firesim/sim
|
||||
REMOTE_FPGA_DIR=$REMOTE_CHIPYARD_DIR/fpga
|
||||
|
||||
Reference in New Issue
Block a user