diff options
| author | matthew <matthew@FreeBSD.org> | 2017-07-26 00:20:05 +0800 |
|---|---|---|
| committer | matthew <matthew@FreeBSD.org> | 2017-07-26 00:20:05 +0800 |
| commit | fdd0f21c751aafda72821a08b5a4710366040967 (patch) | |
| tree | e6b0a8fed6d8f54e85902f8b53bac3b235a91d43 /ports-mgmt | |
| parent | e0e8bdd9711da5ee32564a4d64e6cb765dc29c01 (diff) | |
| download | freebsd-ports-gnome-fdd0f21c751aafda72821a08b5a4710366040967.tar.gz freebsd-ports-gnome-fdd0f21c751aafda72821a08b5a4710366040967.tar.zst freebsd-ports-gnome-fdd0f21c751aafda72821a08b5a4710366040967.zip | |
Update to 1.70
Add NOWATCHDOG option
PR: 220812
Submitted by: jonc@chen.org.nz
Approved by: ericturgeon.bsd@gmail.com (maintainer)
Diffstat (limited to 'ports-mgmt')
| -rw-r--r-- | ports-mgmt/synth/Makefile | 9 | ||||
| -rw-r--r-- | ports-mgmt/synth/distinfo | 6 | ||||
| -rw-r--r-- | ports-mgmt/synth/files/extrapatch-nowatchdog-portscan-buildcycle.adb | 11 |
3 files changed, 22 insertions, 4 deletions
diff --git a/ports-mgmt/synth/Makefile b/ports-mgmt/synth/Makefile index 17579ac52a4b..e41d61e3ebf5 100644 --- a/ports-mgmt/synth/Makefile +++ b/ports-mgmt/synth/Makefile @@ -2,7 +2,7 @@ # $FreeBSD$ PORTNAME= synth -PORTVERSION= 1.69 +PORTVERSION= 1.70 DISTVERSIONPREFIX= v CATEGORIES= ports-mgmt @@ -23,6 +23,13 @@ GH_ACCOUNT= jrmarino GPR= ${LOCALBASE}/lib/gnat MAKE_ENV= NCURSES_LINK=static +OPTIONS_DEFINE= NOWATCHDOG +OPTIONS_DEFAULT=NOWATCHDOG + +NOWATCHDOG_DESC= Disable build watchdog monitor + +NOWATCHDOG_EXTRA_PATCHES= ${FILESDIR}/extrapatch-nowatchdog-portscan-buildcycle.adb + .include <bsd.port.pre.mk> post-extract: diff --git a/ports-mgmt/synth/distinfo b/ports-mgmt/synth/distinfo index 3fe84e60bdf1..78b82f66cb3d 100644 --- a/ports-mgmt/synth/distinfo +++ b/ports-mgmt/synth/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1490956647 -SHA256 (jrmarino-synth-v1.69_GH0.tar.gz) = b1b73febbe1ae0fddd630c458e681e634f0bbd5dd5698bc21b9cbbf77d87a018 -SIZE (jrmarino-synth-v1.69_GH0.tar.gz) = 139278 +TIMESTAMP = 1500756316 +SHA256 (jrmarino-synth-v1.70_GH0.tar.gz) = b9f5c91bbac0a50a9d773293ad6b433d75462112a6b04259f035efbc577d4efb +SIZE (jrmarino-synth-v1.70_GH0.tar.gz) = 139429 diff --git a/ports-mgmt/synth/files/extrapatch-nowatchdog-portscan-buildcycle.adb b/ports-mgmt/synth/files/extrapatch-nowatchdog-portscan-buildcycle.adb new file mode 100644 index 000000000000..0ddb36de03a3 --- /dev/null +++ b/ports-mgmt/synth/files/extrapatch-nowatchdog-portscan-buildcycle.adb @@ -0,0 +1,11 @@ +--- src/portscan-buildcycle.adb.orig 2017-04-20 10:12:27.241713000 +1200 ++++ src/portscan-buildcycle.adb 2017-04-20 10:12:38.218162000 +1200 +@@ -570,7 +570,7 @@ + status : Unix.process_exit; + lock_lines : Natural; + quartersec : one_minute := one_minute'First; +- hangmonitor : constant Boolean := True; ++ hangmonitor : constant Boolean := False; + synthexec : constant String := host_localbase & "/libexec/synthexec"; + truecommand : constant String := synthexec & " " & + log_name (trackers (id).seq_id) & " " & command; |