mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2025-01-16 07:58:04 +00:00
Code Issues Releases Activity

math/lean: Add the PORTSCOUT line.

Browse Source 
Avoid picking undesirable tags.
This commit is contained in:
Yuri Victorovich 2018-07-25 20:16:37 +00:00
parent 56648c7908
commit 7424caa4ec
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=475334
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
math/lean/Makefile
View File

@ -21,4 +21,6 @@ USE_LDCONFIG= yes
WRKSRC_SUBDIR= src
PORTSCOUT= limit:.*[0-9]*\.[0-9]*$$
.include <bsd.port.mk>