diff options
author | Yuri Victorovich <yuri@FreeBSD.org> | 2023-08-22 07:13:52 +0000 |
---|---|---|
committer | Yuri Victorovich <yuri@FreeBSD.org> | 2023-08-22 07:14:14 +0000 |
commit | f4386ebac548d6e5750b807ed024aad5491860f6 (patch) | |
tree | 31db94b5c417302c8ab4a154d4b93dd603166110 | |
parent | 3759554c0c6a890dcb10e29be84786ae8280dcad (diff) | |
download | ports-f4386ebac548d6e5750b807ed024aad5491860f6.tar.gz ports-f4386ebac548d6e5750b807ed024aad5491860f6.zip |
math/eprover: Improve PORTSCOUT
-rw-r--r-- | math/eprover/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
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 |