diff options
Diffstat (limited to 'devel/hwloc2/Makefile')
-rw-r--r-- | devel/hwloc2/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/devel/hwloc2/Makefile b/devel/hwloc2/Makefile index 7f26e23d8ceb..b220ed0915b4 100644 --- a/devel/hwloc2/Makefile +++ b/devel/hwloc2/Makefile @@ -1,5 +1,6 @@ PORTNAME= hwloc DISTVERSION= 2.12.1 +PORTREVISION= 1 CATEGORIES= devel MASTER_SITES= https://download.open-mpi.org/release/hwloc/v${DISTVERSION:R}/ PKGNAMESUFFIX= 2 |