diff options
| author | John Marino <marino@FreeBSD.org> | 2014-05-01 08:18:55 +0000 |
|---|---|---|
| committer | John Marino <marino@FreeBSD.org> | 2014-05-01 08:18:55 +0000 |
| commit | 8328d9fd4abc68622f57022cf4edcd7c6a099ab2 (patch) | |
| tree | 83597f509d9e7a48f287299e40be3676ce56435b /devel/gprbuild | |
| parent | 46343a65a88eb484697e1ec3ef5243f572e28d93 (diff) | |
Notes
Diffstat (limited to 'devel/gprbuild')
| -rw-r--r-- | devel/gprbuild/Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/devel/gprbuild/Makefile b/devel/gprbuild/Makefile index 303d45f4d082..09f2145758c7 100644 --- a/devel/gprbuild/Makefile +++ b/devel/gprbuild/Makefile @@ -3,7 +3,7 @@ PORTNAME= gprbuild PORTVERSION= ${SNAPSHOT} -PORTREVISION= 1 +PORTREVISION= 2 CATEGORIES= devel MASTER_SITES= http://downloads.dragonlace.net/src/ DISTNAME= gprbuild-gpl-${YEAR}-src @@ -22,8 +22,8 @@ YEAR= 2013 SNAPSHOT= 20130416 GNU_CONFIGURE= yes USES= ada gmake -CONFIGURE_ARGS+=BUILD=production -CONFIGURE_ARGS+=PROCESSORS=${MAKE_JOBS_NUMBER} +MAKE_ARGS+= BUILD=production +MAKE_ARGS+= PROCESSORS=${MAKE_JOBS_NUMBER} PORTDOCS= html txt pdf info PORTEXAMPLES= . |