diff options
Diffstat (limited to 'Tools')
| -rwxr-xr-x | Tools/scripts/explicit_lib_depends.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Tools/scripts/explicit_lib_depends.sh b/Tools/scripts/explicit_lib_depends.sh index f281b45a79ae..afd8e289ccd7 100755 --- a/Tools/scripts/explicit_lib_depends.sh +++ b/Tools/scripts/explicit_lib_depends.sh @@ -92,6 +92,11 @@ for i in $@; do fi fi + if [ ! -f ${current_port}/+CONTENTS ]; then + echo $i is not a valid port + continue + fi + myorigin=$(awk -F : '/@comment ORIGIN:/ {print $2}' \ ${current_port}/+CONTENTS) |