From cf6dc609b72fd9b388c987ae38c0a8bf95168d15 Mon Sep 17 00:00:00 2001
From: "Joshua M. Boniface" <joshua@boniface.me>
Date: Mon, 23 Mar 2020 17:54:17 -0400
Subject: [PATCH] Fix up single-segment platform names

---
 build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.sh b/build.sh
index 5d3f8ec713..8256f9ea31 100755
--- a/build.sh
+++ b/build.sh
@@ -24,7 +24,7 @@ usage() {
 list_platforms() {
     declare -a platforms
     platforms=(
-        $( find deployment -maxdepth 1 -mindepth 1 -name "build.*" | awk -F'.' '{ $1=""; print $2 "." $3 }' | sort )
+        $( find deployment -maxdepth 1 -mindepth 1 -name "build.*" | awk -F'.' '{ $1=""; printf $2; if ($3 != ""){ printf "." $3; } print ""; }' | sort )
     )
     echo -e "Valid platforms:"
     echo