-build <- function(name,extra_deps,force=F) {
+build <- function(name,extra_deps,force=F,do_cleanup=T) {
# can't, and hence don't need to, build base packages
if (name %in% base_pkgs) {
return(T)
# wait for mini-dinstall to get to work
upload_success = FALSE
- for (i in seq(1,60)) {
- if (file.exists(file.path(dinstall_archive,'testing','source',paste(pkg$srcname, '_', pkg$version, '.orig.tar.gz', sep='')))) {
+ for (i in seq(1,12)) {
+ if (file.exists(file.path(dinstall_archive,'testing',paste(pkg$srcname, '_', pkg$version, '.orig.tar.gz', sep='')))) {
upload_success = TRUE
break
}
- warn(i,'/60: does not exist',file.path(dinstall_archive,which_system,'testing','source',paste(pkg$srcname, '_', pkg$version, '.orig.tar.gz', sep='')))
+ warn(i,'/12: does not exist',file.path(dinstall_archive,'testing',paste(pkg$srcname, '_', pkg$version, '.orig.tar.gz', sep='')))
- Sys.sleep(1)
+ Sys.sleep(5)
}
if (!upload_success) {
warn('upload took too long; continuing as normal (some builds may fail temporarily)')
}
return(pkg$debversion)
})())
- cleanup(dir)
+ if (do_cleanup) {
+ cleanup(dir)
+ } else {
+ notice('output is in',dir,'. you must clean this up yourself.')
+ }
if (is.null(result)) {
# nothing was done so escape asap.
return(result)
notice('rebuilding',name,': no build record or previous build failed')
return(T)
}
- # see if it has already been built
+ # see if it has already been built *and* successfully uploaded
srcname <- pkgname_as_debian(name,binary=F)
debname <- pkgname_as_debian(name,binary=T)
if (file.exists(changesfile(srcname, version))) {