From 09f3488389dc27c10f3eec41359e25b3acf98ce3 Mon Sep 17 00:00:00 2001
From: Serge Vakulenko <serge.vakulenko@gmail.com>
Date: Sun, 23 Aug 2015 23:15:32 -0700
Subject: [PATCH] Add pinguino-micro to the autobuild list.

---
 tools/build/Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/tools/build/Makefile b/tools/build/Makefile
index d17d393..946e427 100644
--- a/tools/build/Makefile
+++ b/tools/build/Makefile
@@ -1,4 +1,5 @@
-BOARD_LIST      = duinomite fubarino max32 maximite maximite-color picadillo sdxl
+BOARD_LIST      = duinomite fubarino max32 maximite maximite-color \
+                  picadillo pinguino-micro sdxl
 
 SKEL_SCRATCH    = skeleton/linux32/pic32prog \
                   skeleton/linux64/pic32prog \