diff --git a/src/port1.0/portconfigure.tcl b/src/port1.0/portconfigure.tcl
index f4cd7fd81f..aeb5008025 100644
--- a/src/port1.0/portconfigure.tcl
+++ b/src/port1.0/portconfigure.tcl
@@ -337,7 +337,7 @@ proc portconfigure::choose_supported_archs {archs} {
     global supported_archs configure.sdk_version
     # macOS 10.14 SDK only supports one arch, x86_64
     if {${configure.sdk_version} ne "" && [vercmp ${configure.sdk_version} 10.14] >= 0} {
-        if {"x86_64" in $archs && "x86_64" in $supported_archs} {
+        if {"x86_64" in $archs && ($supported_archs eq "" || "x86_64" in $supported_archs)} {
             return x86_64
         } else {
             return ""