diff options
author | Joe Marcus Clarke <marcus@FreeBSD.org> | 2020-05-30 23:20:00 +0000 |
---|---|---|
committer | Joe Marcus Clarke <marcus@FreeBSD.org> | 2020-05-30 23:20:00 +0000 |
commit | abc300e1e0ea3d02d3986e3d4179ae81d71743d0 (patch) | |
tree | a6b6dacc914c57685b65e806a616d5e95c2ec54e /ports-mgmt/portlint | |
parent | ad2fcdcdc96696e6ba9bfb5161deec6cfeffc8e9 (diff) | |
download | ports-abc300e1e0ea3d02d3986e3d4179ae81d71743d0.tar.gz ports-abc300e1e0ea3d02d3986e3d4179ae81d71743d0.zip |
Notes
Diffstat (limited to 'ports-mgmt/portlint')
-rw-r--r-- | ports-mgmt/portlint/Makefile | 1 | ||||
-rw-r--r-- | ports-mgmt/portlint/src/portlint.pl | 2 |
2 files changed, 2 insertions, 1 deletions
diff --git a/ports-mgmt/portlint/Makefile b/ports-mgmt/portlint/Makefile index 90106b2d28ea..817d123802fe 100644 --- a/ports-mgmt/portlint/Makefile +++ b/ports-mgmt/portlint/Makefile @@ -3,6 +3,7 @@ PORTNAME= portlint PORTVERSION= 2.19.1 +PORTREVISION= 1 CATEGORIES= ports-mgmt MASTER_SITES= # none DISTFILES= # none diff --git a/ports-mgmt/portlint/src/portlint.pl b/ports-mgmt/portlint/src/portlint.pl index 05e86e3088dc..9580f527e5f9 100644 --- a/ports-mgmt/portlint/src/portlint.pl +++ b/ports-mgmt/portlint/src/portlint.pl @@ -3057,7 +3057,7 @@ DIST_SUBDIR EXTRACT_ONLY # should be # DISTNAME= package-1.0 # EXTRACT_SUFX= .tgz - if ($makevar{USE_GITHUB} ne 'nodefault' && $makevar{USE_GITHUB} ne 'nodefault') { + if ($makevar{USE_GITHUB} ne 'nodefault' && $makevar{USE_GITLAB} ne 'nodefault') { if ($distfiles =~ /^\S+$/ && $distfiles !~ /:[^\/:]+$/) { $bogusdistfiles++; print "OK: seen DISTFILES with single item, checking value.\n" |