devel/gprbuild: Pet Jenkins by fixing PORTEXAMPLES definition
I could have sworn that "." was a legitimate value for PORTEXAMPLES, which accepts directories. I believe I tested it, but it's not working now. Change it from "." to "*" (which is common), and bump the port to please Jenkins. Reported by: swills
This commit is contained in:
parent
12731fc915
commit
ca3251c6f5
Notes:
svn2git
2021-03-31 03:12:20 +00:00
svn path=/head/; revision=352764
@ -3,7 +3,7 @@
|
||||
|
||||
PORTNAME= gprbuild
|
||||
PORTVERSION= ${SNAPSHOT}
|
||||
PORTREVISION= 2
|
||||
PORTREVISION= 3
|
||||
CATEGORIES= devel
|
||||
MASTER_SITES= http://downloads.dragonlace.net/src/
|
||||
DISTNAME= gprbuild-gpl-${YEAR}-src
|
||||
@ -25,7 +25,7 @@ USES= ada gmake
|
||||
MAKE_ARGS+= BUILD=production
|
||||
MAKE_ARGS+= PROCESSORS=${MAKE_JOBS_NUMBER}
|
||||
PORTDOCS= html txt pdf info
|
||||
PORTEXAMPLES= .
|
||||
PORTEXAMPLES= *
|
||||
|
||||
OPTIONS_DEFINE= DOCS EXAMPLES
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user