Date: Fri, 06 Oct 2017 11:05:34 +0000 From: bugzilla-noreply@freebsd.org To: freebsd-ports-bugs@FreeBSD.org Subject: [Bug 222823] games/pioneer: Update to 20171001 Message-ID: <bug-222823-13@https.bugs.freebsd.org/bugzilla/>
next in thread | raw e-mail | index | archive | help
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=3D222823 Bug ID: 222823 Summary: games/pioneer: Update to 20171001 Product: Ports & Packages Version: Latest Hardware: Any OS: Any Status: New Keywords: patch Severity: Affects Only Me Priority: --- Component: Individual Port(s) Assignee: freebsd-ports-bugs@FreeBSD.org Reporter: lightside@gmx.com Attachment #186946 maintainer-approval+ Flags: Created attachment 186946 --> https://bugs.freebsd.org/bugzilla/attachment.cgi?id=3D186946&action= =3Dedit Proposed patch (since 449591 revision) Patch to update games/pioneer port from 20170304 to 20171001 version. Look following links for changes: https://github.com/pioneerspacesim/pioneer/compare/20170304...20171001 https://github.com/pioneerspacesim/pioneer/blob/20171001/Changelog.txt - Remove applied patch - Move USES before USE_*, according to porters handbook, which found by portlint - Add SERVERAGENT port's option The saved games from previous version are not compatible. The build was tested on FreeBSD 10.3 amd64. --=20 You are receiving this mail because: You are the assignee for the bug.=
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?bug-222823-13>