diff --git a/boards/common/arduino-due/Makefile.include b/boards/common/arduino-due/Makefile.include
index dd9c435bc7..dba7f6f100 100644
--- a/boards/common/arduino-due/Makefile.include
+++ b/boards/common/arduino-due/Makefile.include
@@ -3,5 +3,6 @@ INCLUDES  += -I$(RIOTBOARD)/common/arduino-due/include
 
 # setup flasher (using BOSSA)
 PROGRAMMER ?= bossa
+PROGRAMMERS_SUPPORTED += bossa
 BOSSA_VERSION = 1.8
 BOSSA_ARDUINO_PREFLASH = yes
diff --git a/boards/common/msba2/Makefile.include b/boards/common/msba2/Makefile.include
index 4f727bcb16..d7f54f3602 100644
--- a/boards/common/msba2/Makefile.include
+++ b/boards/common/msba2/Makefile.include
@@ -6,6 +6,8 @@ PORT_DARWIN ?= /dev/tty.usbserial-ARM
 # Use lpc2k_pgm programmer
 PROGRAMMER ?= lpc2k_pgm
 
+PROGRAMMERS_SUPPORTED += lpc2k_pgm
+
 # when using miniterm set RTS and DTR lines to 0, otherwise the board is reset
 MINITERMFLAGS += --rts 0 --dtr 0
 
diff --git a/boards/common/qn908x/Makefile.include b/boards/common/qn908x/Makefile.include
index 30ccde4388..cfd04893f6 100644
--- a/boards/common/qn908x/Makefile.include
+++ b/boards/common/qn908x/Makefile.include
@@ -2,6 +2,7 @@
 # of writing has not been merged in the tree and is only available at
 # http://openocd.zylin.com/#/c/5584/ .
 PROGRAMMER ?= openocd
+PROGRAMMERS_SUPPORTED += openocd
 
 # Using dap or jlink depends on which firmware the OpenSDA debugger is running
 #OPENOCD_DEBUG_ADAPTER ?= dap
diff --git a/boards/ek-lm4f120xl/Makefile.include b/boards/ek-lm4f120xl/Makefile.include
index 003e851b55..35c17226b6 100644
--- a/boards/ek-lm4f120xl/Makefile.include
+++ b/boards/ek-lm4f120xl/Makefile.include
@@ -1,2 +1,4 @@
 # this board uses openocd
 PROGRAMMER ?= openocd
+
+PROGRAMMERS_SUPPORTED += openocd
diff --git a/boards/mulle/Makefile.include b/boards/mulle/Makefile.include
index 1eb45386b9..e880c5cf8c 100644
--- a/boards/mulle/Makefile.include
+++ b/boards/mulle/Makefile.include
@@ -5,6 +5,7 @@ endif
 
 # this board uses openocd
 PROGRAMMER ?= openocd
+PROGRAMMERS_SUPPORTED += openocd
 
 # Default debug adapter choice is to use the Mulle programmer board
 OPENOCD_DEBUG_ADAPTER ?= mulle
diff --git a/boards/pba-d-01-kw2x/Makefile.include b/boards/pba-d-01-kw2x/Makefile.include
index 77bc78b382..a49baccf11 100644
--- a/boards/pba-d-01-kw2x/Makefile.include
+++ b/boards/pba-d-01-kw2x/Makefile.include
@@ -13,6 +13,7 @@ endif
 
 # this board uses openocd
 PROGRAMMER ?= openocd
+PROGRAMMERS_SUPPORTED += openocd
 
 # We need special handling of the watchdog if we want to speed up the flash
 # verification by using the MCU to compute the image checksum after flashing.
diff --git a/boards/seeeduino_arch-pro/Makefile.include b/boards/seeeduino_arch-pro/Makefile.include
index f2b0acf7c9..f908447db2 100644
--- a/boards/seeeduino_arch-pro/Makefile.include
+++ b/boards/seeeduino_arch-pro/Makefile.include
@@ -4,6 +4,7 @@ PORT_DARWIN ?= $(firstword $(sort $(wildcard /dev/tty.SLAB_USBtoUART*)))
 
 # this board uses openocd with an HEXFILE
 PROGRAMMER ?= openocd
+PROGRAMMERS_SUPPORTED += openocd
 FLASHFILE ?= $(HEXFILE)
 OPENOCD_DEBUG_ADAPTER ?= dap