diff options
| -rw-r--r-- | release/Makefile | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/release/Makefile b/release/Makefile index 8aba3e1..f01098e 100644 --- a/release/Makefile +++ b/release/Makefile @@ -309,6 +309,13 @@ rerelease release: else \ mkdir -p ${CHROOTDIR}/usr/ports/distfiles; \ fi +.if defined(PREFETCHDISTFILES) + @for i in ${DOCPORTS}; do \ + cd ${CHROOTDIR}/usr/ports/$$i && \ + make PORTSDIR=${CHROOTDIR}/usr/ports BATCH=yes \ + JADETEX=no WITHOUT_PYTHON=yes fetch-recursive ; \ + done +.endif .endif .endif .if make(rerelease) |
