git: f4386ebac548 - main - math/eprover: Improve PORTSCOUT

From: Yuri Victorovich <yuri_at_FreeBSD.org>
Date: Tue, 22 Aug 2023 07:14:17 UTC 
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