From 83ca35b0f7884cad2ebd3d2bf3a826649bcd2e83 Mon Sep 17 00:00:00 2001
From: Dimitris Lampridis <dimitris.lampridis@cern.ch>
Date: Fri, 27 Jul 2018 17:56:23 +0200
Subject: [PATCH] boards: introduce board Manifest and add it to the root
 Manifest

---
 Manifest.py       | 1 +
 board/Manifest.py | 5 +++++
 2 files changed, 6 insertions(+)
 create mode 100644 board/Manifest.py

diff --git a/Manifest.py b/Manifest.py
index ab404838..70d15249 100644
--- a/Manifest.py
+++ b/Manifest.py
@@ -2,5 +2,6 @@ modules =  {
     "local" : [
         "modules",
         "platform",
+        "board",
     ],
 }
diff --git a/board/Manifest.py b/board/Manifest.py
new file mode 100644
index 00000000..380e335a
--- /dev/null
+++ b/board/Manifest.py
@@ -0,0 +1,5 @@
+try:
+    if board in ["spec", "svec", "vfchd", "common"]:
+        modules = {"local" : [ board ] }
+except NameError:
+    pass
-- 
GitLab