From 875d971d3bf83f6b490afb7df60e5c345d673fb6 Mon Sep 17 00:00:00 2001 From: apio Date: Wed, 2 Nov 2022 18:53:47 +0100 Subject: [PATCH] Tools: Make list-ports.sh exit when ports.list does not exist --- ports/list-ports.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/ports/list-ports.sh b/ports/list-ports.sh index c09679ef..d812c1fe 100755 --- 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