diff options
| -rw-r--r-- | ports-mgmt/synth/Makefile | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/ports-mgmt/synth/Makefile b/ports-mgmt/synth/Makefile index e41d61e3ebf5..a8962118632f 100644 --- a/ports-mgmt/synth/Makefile +++ b/ports-mgmt/synth/Makefile @@ -4,6 +4,7 @@ PORTNAME= synth PORTVERSION= 1.70 DISTVERSIONPREFIX= v +PORTREVISION= 1 CATEGORIES= ports-mgmt MAINTAINER= ericturgeon.bsd@gmail.com @@ -23,12 +24,12 @@ GH_ACCOUNT= jrmarino GPR= ${LOCALBASE}/lib/gnat MAKE_ENV= NCURSES_LINK=static -OPTIONS_DEFINE= NOWATCHDOG -OPTIONS_DEFAULT=NOWATCHDOG +OPTIONS_DEFINE= WATCHDOG +OPTIONS_DEFAULT=WATCHDOG -NOWATCHDOG_DESC= Disable build watchdog monitor +WATCHDOG_DESC= Build with watchdog monitor -NOWATCHDOG_EXTRA_PATCHES= ${FILESDIR}/extrapatch-nowatchdog-portscan-buildcycle.adb +WATCHDOG_EXTRA_PATCHES_OFF= ${FILESDIR}/extrapatch-nowatchdog-portscan-buildcycle.adb .include <bsd.port.pre.mk> |