This commit is contained in:
parent
05619a1f2a
commit
5a99d9ae76
4 changed files with 9 additions and 4 deletions
|
|
@ -63,5 +63,11 @@ as empty-sequence(){
|
|||
for $f in $urls
|
||||
let $dest:=$destdir || replace($f,"^.*/","")
|
||||
where not(file:exists($dest))
|
||||
return file:write-binary($dest, fetch:binary(resolve-uri($f,$build:REPO)=>trace("Download: ")))
|
||||
return build:write-binary($dest, fetch:binary(resolve-uri($f,$build:REPO)=>trace("Download: ")))
|
||||
};
|
||||
|
||||
declare function build:write-binary($dest as xs:string,$contents)
|
||||
as empty-sequence{
|
||||
file:create-dir(file:parent($dest)),
|
||||
file:write-binary($dest,$contents)
|
||||
};
|
||||
Loading…
Add table
Add a link
Reference in a new issue