diff options
Diffstat (limited to 'lang/gnatdroid-armv5/Makefile')
| -rw-r--r-- | lang/gnatdroid-armv5/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lang/gnatdroid-armv5/Makefile b/lang/gnatdroid-armv5/Makefile index e31b146d3df2..3f2eb05f9807 100644 --- a/lang/gnatdroid-armv5/Makefile +++ b/lang/gnatdroid-armv5/Makefile @@ -3,6 +3,7 @@ PORTNAME= armv5 PORTVERSION= ${SNAPSHOT} +PORTREVISION= 1 CATEGORIES= lang MASTER_SITES= ${MASTER_SITE_GCC} MASTER_SITE_SUBDIR= releases/gcc-${GCC_VERSION} |