Revert hrev44743
Downloaded optional packages aren't actually removed as I thought on jam clean, so it's not that much useful...
This commit is contained in:
parent
12e574a316
commit
d091af40ea
@ -367,28 +367,13 @@ actions DataFileToSourceFile1
|
|||||||
rule DownloadLocatedFile target : url
|
rule DownloadLocatedFile target : url
|
||||||
{
|
{
|
||||||
URL on $(target) = $(url) ;
|
URL on $(target) = $(url) ;
|
||||||
# HACK
|
|
||||||
local downloadCache = /dev/null ;
|
|
||||||
|
|
||||||
if $(HAIKU_DOWNLOAD_CACHE) {
|
|
||||||
downloadCache = $(HAIKU_DOWNLOAD_CACHE) ;
|
|
||||||
}
|
|
||||||
|
|
||||||
local basePath =
|
|
||||||
$(downloadCache)/$(TARGET_ARCH)-gcc$(HAIKU_GCC_VERSION[1]) ;
|
|
||||||
CACHED_PATH on $(target) =
|
|
||||||
$(basePath)/$(target:G=) ;
|
|
||||||
|
|
||||||
DownloadLocatedFile1 $(target) ;
|
DownloadLocatedFile1 $(target) ;
|
||||||
}
|
}
|
||||||
|
|
||||||
actions DownloadLocatedFile1
|
actions DownloadLocatedFile1
|
||||||
{
|
{
|
||||||
test -e '$(CACHED_PATH)' && cp "$(CACHED_PATH)" "$(1)" && echo "(cached)" \
|
wget -O "$(1)" $(URL)
|
||||||
&& return 0
|
|
||||||
wget -O "$(1)" $(URL) || return $?
|
|
||||||
test -d "`dirname "$(CACHED_PATH)"`" && cp "$(1)" "$(CACHED_PATH)" \
|
|
||||||
&& echo "(copied to cache)" || true
|
|
||||||
}
|
}
|
||||||
|
|
||||||
rule DownloadFile file : url
|
rule DownloadFile file : url
|
||||||
|
Loading…
Reference in New Issue
Block a user