# HG changeset patch
# User Franz Glasner <fzglas.hg@dom66.de>
# Date 1571988246 -7200
# Node ID 850ebdb132d137a763f91e62b7a0a5da3e070b5b
# Parent  dbbb04c46d974ba5431882df5ea353f5c8464ecc
Name a shared local repository: SharedLocalRepo

diff -r dbbb04c46d97 -r 850ebdb132d1 sbin/check-ports
--- 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.