Fix up install-built-ports.sh if ports.list is not present

2022-10-24 20:52:52 +02:00 · 2022-10-24 20:52:52 +02:00 · 35da7e0223
commit 35da7e0223
parent d458c5c848
1 changed files with 1 additions and 0 deletions
--- a/tools/install-built-ports.sh
+++ b/tools/install-built-ports.sh
@ -27,6 +27,7 @@ unset_vars()
 if ! [ -f ./ports.list ]
 then
    echo "No ports built."
+    exit 0
 fi

 install_port()