Date: Tue, 22 Aug 2023 07:14:17 GMT From: Yuri Victorovich <yuri@FreeBSD.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org Subject: git: f4386ebac548 - main - math/eprover: Improve PORTSCOUT Message-ID: <202308220714.37M7EHVo008170@gitrepo.freebsd.org>
next in thread | raw e-mail | index | archive | help
The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=f4386ebac548d6e5750b807ed024aad5491860f6 commit f4386ebac548d6e5750b807ed024aad5491860f6 Author: Yuri Victorovich <yuri@FreeBSD.org> AuthorDate: 2023-08-22 07:13:52 +0000 Commit: Yuri Victorovich <yuri@FreeBSD.org> CommitDate: 2023-08-22 07:14:14 +0000 math/eprover: Improve PORTSCOUT --- math/eprover/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/math/eprover/Makefile b/math/eprover/Makefile index d9be294abe9b..fd4ffa2bcf46 100644 --- a/math/eprover/Makefile +++ b/math/eprover/Makefile @@ -34,7 +34,7 @@ ALL_TARGET= all man BINARY_ALIAS= make=${GMAKE} \ gcc=${CC} -PORTSCOUT= limit:^.*[0-9]\.[0-9].* # prevent versions like git-export-2012-06-29 +PORTSCOUT= limit:^.*[0-9]\.[0-9].*$$ # prevent versions like git-export-2012-06-29 post-install: # strip binaries
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202308220714.37M7EHVo008170>