diff options
Diffstat (limited to 'devel/gcc-arm-embedded/Makefile')
| -rw-r--r-- | devel/gcc-arm-embedded/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/devel/gcc-arm-embedded/Makefile b/devel/gcc-arm-embedded/Makefile index 88f945e9283c..9d66cb9fd7a9 100644 --- a/devel/gcc-arm-embedded/Makefile +++ b/devel/gcc-arm-embedded/Makefile @@ -2,7 +2,7 @@ PORTNAME= gcc-arm-embedded PORTVERSION= 7.3.20180627 -PORTREVISION= 0 +PORTREVISION= 1 CATEGORIES= devel MASTER_SITES= https://developer.arm.com/-/media/Files/downloads/gnu-rm/7-2018q2/ DISTNAME= ${ORIGINAL_PACKAGE_NAME}-src |