diff options
Diffstat (limited to 'devel/linux_devtools/Makefile')
| -rw-r--r-- | devel/linux_devtools/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/devel/linux_devtools/Makefile b/devel/linux_devtools/Makefile index 32b71755c28e..106ee6a429f4 100644 --- a/devel/linux_devtools/Makefile +++ b/devel/linux_devtools/Makefile @@ -7,6 +7,7 @@ PORTNAME= linux_devtools PORTVERSION= 8.0 +PORTREVISION= 1 CATEGORIES= devel emulators linux MASTER_SITES= ${MASTER_SITE_REDHAT_LINUX} MASTER_SITE_SUBDIR= ${PORTVERSION}/${LANG}/os/${MACHINE_ARCH}/RedHat/RPMS |