From a38f5aa026f24781368a4b4f0215dd706a8aebd0 Mon Sep 17 00:00:00 2001
From: Linus Groh <mail@linusgroh.de>
Date: Sun, 14 Feb 2021 16:41:28 +0100
Subject: [PATCH] Ports: Tweak wording in build_all.sh error message

---
 Ports/build_all.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Ports/build_all.sh b/Ports/build_all.sh
index e7f307db94..1f69bd3862 100755
--- a/Ports/build_all.sh
+++ b/Ports/build_all.sh
@@ -21,7 +21,7 @@ for file in *; do
             if $(./package.sh > /dev/null 2>&1 ); then
                 echo "Built ${dirname}."
             else
-                echo "ERROR: Built ${dirname} not succesful!"
+                echo "ERROR: Build of ${dirname} was not successful!"
                 some_failed=true
             fi
         popd > /dev/null