diff options
Diffstat (limited to 'Tools')
-rw-r--r-- | Tools/scripts/check-latest-link | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Tools/scripts/check-latest-link b/Tools/scripts/check-latest-link index 1283243bfd8d..61f047917955 100644 --- a/Tools/scripts/check-latest-link +++ b/Tools/scripts/check-latest-link @@ -3,6 +3,11 @@ # Iterate over the ports collection, assemble the list of LATEST_LINKs and # then look for duplicates. Send a nag-mail to the responsible maintainers. +# Sanitize environment +export __MAKE_CONF=/dev/null +export PORT_DBDIR=/nonexistent +export PKG_DBDIR=/nonexistent + if [ -z "${PORTSDIR}" ]; then PORTSDIR=/usr/ports fi |