diff options
author | John Marino <marino@FreeBSD.org> | 2016-03-24 20:16:59 +0000 |
---|---|---|
committer | John Marino <marino@FreeBSD.org> | 2016-03-24 20:16:59 +0000 |
commit | 4a68b19d0edc8c626a1c22add11d7a78b9262065 (patch) | |
tree | 23482de14a3aa442ab1ab8fa7c4a39383baddc96 /Tools | |
parent | dd2ee9c91b6461322eb17a0a2921ad95a7558d2c (diff) | |
download | ports-4a68b19d0edc8c626a1c22add11d7a78b9262065.tar.gz ports-4a68b19d0edc8c626a1c22add11d7a78b9262065.zip |
Notes
Diffstat (limited to 'Tools')
-rwxr-xr-x | Tools/scripts/redundant-opt-files.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Tools/scripts/redundant-opt-files.sh b/Tools/scripts/redundant-opt-files.sh index 6d028f153e1a..505afc62db02 100755 --- a/Tools/scripts/redundant-opt-files.sh +++ b/Tools/scripts/redundant-opt-files.sh @@ -38,6 +38,11 @@ catport() { identical_options() { local origin=$(catport $1) + if [ ! -d ${origin} ]; then + # origin no longer exists, list it anyway without testing further + echo ${origin} + return + fi local selected_pristine=$(/usr/bin/make -C ${origin} \ -V SELECTED_OPTIONS PORT_DBDIR=/dev/null) local selected_now=$(/usr/bin/make -C ${origin} -V SELECTED_OPTIONS) |