From c4dfd8e30a50063db43a004c2cd6f2d0eba366a5 Mon Sep 17 00:00:00 2001
From: Jeff Epler <jepler@gmail.com>
Date: Thu, 7 Jul 2022 17:17:15 -0500
Subject: [PATCH] Fix default BOARD setting & messages

It's important that these lines NOT be indented with tabs, because
that provokes Make to say that commands appear before a target.
---
 ports/broadcom/Makefile | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/ports/broadcom/Makefile b/ports/broadcom/Makefile
index 9731f819eb..757e7f3450 100644
--- a/ports/broadcom/Makefile
+++ b/ports/broadcom/Makefile
@@ -1,12 +1,12 @@
 # Select the board to build for.
-BOARD=raspberrypi_pi4
+BOARD?=raspberrypi_pi4b
 
 ifeq ($(BOARD),)
-	$(error You must provide a BOARD parameter)
+  $(error You must provide a BOARD parameter)
 else
-	ifeq ($(wildcard boards/$(BOARD)/.),)
-		$(error Invalid BOARD specified)
-	endif
+  ifeq ($(wildcard boards/$(BOARD)/.),)
+    $(error Invalid BOARD "$(BOARD)" specified)
+  endif
 endif
 
 # If the build directory is not given, make it reflect the board name.