From 93891124c7607f32b26f5b9856c6ce0cd3d98c5c Mon Sep 17 00:00:00 2001
From: Alexandre Abadie <alexandre.abadie@inria.fr>
Date: Thu, 11 Feb 2021 14:13:07 +0100
Subject: [PATCH] boards/iotlab: only openocd programmer is supported

---
 boards/common/iotlab/Makefile.include | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/boards/common/iotlab/Makefile.include b/boards/common/iotlab/Makefile.include
index 6000a1b1ac..d98e6bcdf6 100644
--- a/boards/common/iotlab/Makefile.include
+++ b/boards/common/iotlab/Makefile.include
@@ -5,6 +5,9 @@ PORT_DARWIN ?= $(firstword $(sort $(wildcard /dev/tty.usbserial*B)))
 # setup serial terminal
 BAUD ?= 500000
 
+# openocd programmer is supported
+PROGRAMMERS_SUPPORTED += openocd
+
 # Use openocd by default
 PROGRAMMER ?= openocd