diff options
author | marino <marino@FreeBSD.org> | 2016-10-22 02:59:00 +0800 |
---|---|---|
committer | marino <marino@FreeBSD.org> | 2016-10-22 02:59:00 +0800 |
commit | 206c772efc2af9e78f12faa6e4ddffbba1d37244 (patch) | |
tree | 7e545a983dab41f064c193a27559a8ec495ac7eb /ports-mgmt | |
parent | 11522d2ff64ac76fbe36c0e0f574f7391ef675af (diff) | |
download | freebsd-ports-gnome-206c772efc2af9e78f12faa6e4ddffbba1d37244.tar.gz freebsd-ports-gnome-206c772efc2af9e78f12faa6e4ddffbba1d37244.tar.zst freebsd-ports-gnome-206c772efc2af9e78f12faa6e4ddffbba1d37244.zip |
ports-mgmt/synth: Upgrade version 1.62 => 1.63
Fix web report regression caused by cleaning of history files.
The history files were being removed too late. Any ignored/skipped
files erased after writing (but would return with first built/failed
port). If more than 500 ports were ignored+skipped, the web report
would fail to show the history completely and would not recover. The
old history files are now removed before the ignore/skip cascades.
Diffstat (limited to 'ports-mgmt')
-rw-r--r-- | ports-mgmt/synth/Makefile | 2 | ||||
-rw-r--r-- | ports-mgmt/synth/distinfo | 6 |
2 files changed, 4 insertions, 4 deletions
diff --git a/ports-mgmt/synth/Makefile b/ports-mgmt/synth/Makefile index c8c2b385d3dd..01c2f2bb3388 100644 --- a/ports-mgmt/synth/Makefile +++ b/ports-mgmt/synth/Makefile @@ -2,7 +2,7 @@ # $FreeBSD$ PORTNAME= synth -PORTVERSION= 1.62 +PORTVERSION= 1.63 DISTVERSIONPREFIX= v CATEGORIES= ports-mgmt diff --git a/ports-mgmt/synth/distinfo b/ports-mgmt/synth/distinfo index 8019b1ecafa9..8c4157c27292 100644 --- a/ports-mgmt/synth/distinfo +++ b/ports-mgmt/synth/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1476969671 -SHA256 (jrmarino-synth-v1.62_GH0.tar.gz) = 832a2fa37b1ecf8f57477db7375f939b1b0fe498b35eda0ad5526fb2e8c36fe2 -SIZE (jrmarino-synth-v1.62_GH0.tar.gz) = 125399 +TIMESTAMP = 1477023705 +SHA256 (jrmarino-synth-v1.63_GH0.tar.gz) = 2e553dbea36b2bdf6363c7a5c71d5ca802c869ccf9b1cdaa2deed342944db560 +SIZE (jrmarino-synth-v1.63_GH0.tar.gz) = 125459 |