-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)
fail('upload failed!')
}
+ # wait for mini-dinstall to get to work
+ upload_success = FALSE
+ 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,'/12: does not exist',file.path(dinstall_archive,'testing',paste(pkg$srcname, '_', pkg$version, '.orig.tar.gz', sep='')))
+
+ 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))) {