Remove use of REMOTE_WORK_DIR
This commit is contained in:
1
.github/scripts/copy-gpu-binaries.sh
vendored
1
.github/scripts/copy-gpu-binaries.sh
vendored
@@ -11,6 +11,7 @@ set -ex
|
||||
SCRIPT_DIR="$( cd "$( dirname "$0" )" && pwd )"
|
||||
source $SCRIPT_DIR/defaults.sh
|
||||
|
||||
echo "$0: REMOTE_CHIPYARD_DIR=$REMOTE_CHIPYARD_DIR"
|
||||
cd $REMOTE_CHIPYARD_DIR
|
||||
|
||||
cp -av $REMOTE_CHIPYARD_DIR/generators/rocket-gpu/stimuli/vecadd.bin.elf \
|
||||
|
||||
Reference in New Issue
Block a user