From 73671b5aec518c65c343a6863ee68d5d178b936f Mon Sep 17 00:00:00 2001
From: Eric Duminil <eric.duminil@gmail.com>
Date: Tue, 22 Mar 2022 14:09:04 +0100
Subject: [PATCH] Select board for make, if desired

---
 Makefile | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/Makefile b/Makefile
index 2411366..b32c3fd 100644
--- a/Makefile
+++ b/Makefile
@@ -1,5 +1,9 @@
 all:
+ifdef board
+	pio -f -c vim run -e $(board)
+else
 	pio -f -c vim run
+endif
 
 upload:
 	pio -f -c vim run --target upload -e $(board)
-- 
GitLab