Tools: Make list-ports.sh exit when ports.list does not exist

2022-11-02 18:53:47 +01:00 · 2022-11-02 18:53:47 +01:00 · 875d971d3b
commit 875d971d3b
parent dfcc827103
1 changed files with 1 additions and 0 deletions
--- a/ports/list-ports.sh
+++ b/ports/list-ports.sh
@ -29,6 +29,7 @@ unset_vars()
 if ! [ -f ./ports.list ]
 then
    echo "No ports installed."
+    exit 0
 fi

 export HAVE_PORTS=0