diff options
| author | John Marino <marino@FreeBSD.org> | 2014-05-01 18:36:20 +0000 |
|---|---|---|
| committer | John Marino <marino@FreeBSD.org> | 2014-05-01 18:36:20 +0000 |
| commit | ca3251c6f52a11e11c45c3ff71e5fc34250a5cf9 (patch) | |
| tree | 16e6ae1d55fc8c8418573d6d529cf0c899e2a144 /devel/gprbuild | |
| parent | 12731fc915ade7dec5ad8f8bbefc895e69f8b63c (diff) | |
| download | ports-ca3251c6f52a11e11c45c3ff71e5fc34250a5cf9.tar.gz ports-ca3251c6f52a11e11c45c3ff71e5fc34250a5cf9.zip | |
Notes
Diffstat (limited to 'devel/gprbuild')
| -rw-r--r-- | devel/gprbuild/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/devel/gprbuild/Makefile b/devel/gprbuild/Makefile index 09f2145758c7..499d9de72afb 100644 --- a/devel/gprbuild/Makefile +++ b/devel/gprbuild/Makefile @@ -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 |