diff options
Diffstat (limited to 'release/generate-release.sh')
-rwxr-xr-x | release/generate-release.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/release/generate-release.sh b/release/generate-release.sh index e0baff8..b60276a 100755 --- a/release/generate-release.sh +++ b/release/generate-release.sh @@ -160,7 +160,7 @@ build_docports() { # Could not install textproc/docproj from pkg(8) or pkg_add(1). Build # the port as final fallback. - chroot ${CHROOTDIR} /bin/sh -c 'make -C /usr/ports/textproc/docproj BATCH=yes WITH_JADETEX=no WITHOUT_X11=yes WITHOUT_PYTHON=yes install clean' || \ + chroot ${CHROOTDIR} /bin/sh -c 'make -C /usr/ports/textproc/docproj BATCH=yes WITHOUT_SVN=yes WITH_JADETEX=no WITHOUT_X11=yes WITHOUT_PYTHON=yes install clean' || \ { echo "*** Could not build the textproj/docproj port. Exiting."; exit 2; } } |