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