wassname/ray
1
0
Fork 0
mirror of https://github.com/wassname/ray.git synced 2026-07-11 04:42:27 +08:00
Code Issues Packages Projects Releases Wiki Activity

Fix copy to workspace (#9400)

Browse Source
This commit is contained in:
mehrdadn
2020-07-11 05:27:56 -07:00
committed by GitHub
parent 26fcda50e7
commit 5c853eaa6a
2 changed files with 5 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files
bazel/ray.bzl
+4 -5
View File
@@ -118,8 +118,8 @@ def copy_to_workspace(name, srcs, dstdir = ""):
for f in {locations}; do
rm -f -- {dstdir}$${{f##*/}}
cp -f -- "$$f" {dstdir}
echo $$f {dstdir}$${{f##*/}}
done > $@
done
date > $@
""".format(
locations = src_locations,
dstdir = "." + ("/" + dstdir.replace("\\", "/")).rstrip("/") + "/",
@@ -131,10 +131,9 @@ def copy_to_workspace(name, srcs, dstdir = ""):
) && (
for %f in ({locations}) do @(
(if exist {dstdir}%~nxf del /f /q {dstdir}%~nxf) &&
copy /B /Y %f {dstdir} >NUL &&
(echo %f {dstdir}%~nxf)
copy /B /Y %f {dstdir} >NUL
)
) > $@
) && >$@ echo %TIME%
""".replace("\r", "").replace("\n", " ").format(
locations = src_locations,
dstdir = "." + ("\\" + dstdir.replace("/", "\\")).rstrip("\\") + "\\",