diff sbin/check-ports @ 138:850ebdb132d1

Name a shared local repository: SharedLocalRepo
author Franz Glasner <fzglas.hg@dom66.de>
date Fri, 25 Oct 2019 09:24:06 +0200
parents dbbb04c46d97
children 302225cfb01b
line wrap: on
line diff
--- a/sbin/check-ports	Wed Oct 23 09:33:00 2019 +0200
+++ b/sbin/check-ports	Fri Oct 25 09:24:06 2019 +0200
@@ -38,6 +38,13 @@
 : ${LOCAL_REPO:=LocalRepo}
 
 #
+# Shared local repository with non-public packages and/or ports with
+# changed OPTIONS (i.e. not using the defaults).
+# Contrary to LOCAL_REPO this repository may be shared.
+#
+: ${SHARED_LOCAL_REPO:=SharedLocalRepo}
+
+#
 # (Shared) repository with ports with default OPTIONS (i.e. unchanged)
 # but newer than the packages in the "FreeBSD" repository.
 # Can also contain non-FreeBSD *public* packages.