From 35da7e0223b2af537452297acb2ec17d1aaa21da Mon Sep 17 00:00:00 2001
From: apio <blobs.trading@gmail.com>
Date: Mon, 24 Oct 2022 20:52:52 +0200
Subject: [PATCH] Fix up install-built-ports.sh if ports.list is not present

---
 tools/install-built-ports.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tools/install-built-ports.sh b/tools/install-built-ports.sh
index 8a535719..919994eb 100755
--- 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()