From b960b991822703d2fc78eccc4f4477eec012504c Mon Sep 17 00:00:00 2001
From: Michal Moskal <michal@moskal.me>
Date: Tue, 1 Dec 2020 10:43:19 +0100
Subject: [PATCH] Add optional Makefile.user (eg for BOARD=...)

---
 .gitignore | 1 +
 Makefile   | 2 ++
 2 files changed, 3 insertions(+)

diff --git a/.gitignore b/.gitignore
index 7501c67..1c244fc 100644
--- a/.gitignore
+++ b/.gitignore
@@ -64,3 +64,4 @@ bin/
 TAGS
 
 .DS_Store
+Makefile.user
diff --git a/Makefile b/Makefile
index 32a1da1..d496e69 100644
--- a/Makefile
+++ b/Makefile
@@ -7,6 +7,8 @@
 # - SD_HEX     : to bootloader hex binary
 #------------------------------------------------------------------------------
 
+-include Makefile.user
+
 SDK_PATH     = lib/sdk/components
 SDK11_PATH   = lib/sdk11/components
 TUSB_PATH    = lib/tinyusb/src