From be3c1eb051f8f102d658d1624c173d2e81b0d40e Mon Sep 17 00:00:00 2001
From: Andrew Stevens <a.stevens@imperial.ac.uk>
Date: Fri, 13 Sep 2024 10:19:15 +0200
Subject: [PATCH] Added feature to skip boards from the config file

---
 Options.cc | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Options.cc b/Options.cc
index 408d5511..a00ba52c 100644
--- a/Options.cc
+++ b/Options.cc
@@ -202,6 +202,8 @@ std::vector<BoardType> Options::GetBoards(std::string type){
     catch(const std::exception &e){
       // If there is no host field then no biggie. Assume we have just 1 host.
     };
+    if (ele["skip"] && ele["skip"].get_bool().value == true)
+      continue;
     BoardType bt;
     bt.link = ele["link"].get_int32();
     bt.crate = ele["crate"].get_int32();